mirrors/arti.git - mirror of https://gitlab.torproject.org/tpo/core/arti

	Commit message (Collapse)	Author	Age	Files	Lines
*	Python does not have quadruple-quote.	Nick Mathewson	2021-12-02	1	-1/+1
\| \| \| \| \|	Fix a bug in postprocess_coverage.py that stuck a big row of ' characters in its output.
*	Postprocess coverage index.html with python instead	Nick Mathewson	2021-12-01	1	-0/+119
	This change jettisons the awk and ed dependencies and instead uses a real HTML parser, via the BeautifulSoup library in python. Using BeautifulSoup lets us do trickier stuff, like actually extracting the coverage totals and adding our own table, with per-crate coverage. The script only does this post-processing when it finds python3; the script exits with an error if BeautifulSoup isn't installed.