8 Commits

Author	SHA1	Message	Date
Nick Mathewson	f5b9471547	CI: improve output when skipping doxygen	2020-08-12 12:28:44 -04:00
Nick Mathewson	50b7bd243f	Try disabling "make all" when checking docs.	2020-08-12 12:28:44 -04:00
Nick Mathewson	fe0e62ddc4	CI: Try to enable integration tests, hardening, and clang.	2020-08-12 11:29:46 -04:00
Nick Mathewson	adb7268236	CI: label our python versions.	2020-08-11 12:24:03 -04:00
Nick Mathewson	9eb316de42	CI: Only run doxygen on 0.4.3 and later.	2020-08-11 12:22:35 -04:00
Nick Mathewson	aa2c93b90b	Fix a pair of typos in ci-driver.sh.	2020-08-11 11:03:11 -04:00
Nick Mathewson	8a0f530adf	Add a pair of warnings about only editing CI in 035	2020-08-11 10:44:32 -04:00
Nick Mathewson	cb027b392f	Add a shareable continuous-integration script. ... Eventually this should be used by every one of our CI scripts.	2020-08-10 19:01:05 -04:00