5 commits

Author	SHA1	Message	Date
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