<feed xmlns='http://www.w3.org/2005/Atom'>
<title>mirrors/arti.git/maint/postprocess_coverage.py, branch arti-v0.0.4</title>
<subtitle>mirror of https://gitlab.torproject.org/tpo/core/arti
</subtitle>
<id>http://git.dilluti0n.com/mirrors/arti.git/atom?h=arti-v0.0.4</id>
<link rel='self' href='http://git.dilluti0n.com/mirrors/arti.git/atom?h=arti-v0.0.4'/>
<link rel='alternate' type='text/html' href='http://git.dilluti0n.com/mirrors/arti.git/'/>
<updated>2022-01-27T04:46:45Z</updated>
<entry>
<title>Add changes in `maint`</title>
<updated>2022-01-27T04:46:45Z</updated>
<author>
<name>Arturo Marquez</name>
<email>arturomf94@gmail.com</email>
</author>
<published>2022-01-27T04:46:45Z</published>
<link rel='alternate' type='text/html' href='http://git.dilluti0n.com/mirrors/arti.git/commit/?id=3213b89390b3dd7a3f4527645b32c71ababcbb6e'/>
<id>urn:sha1:3213b89390b3dd7a3f4527645b32c71ababcbb6e</id>
<content type='text'>
Follows up on changes from https://gitlab.torproject.org/trinity-1686a/arti/-/merge_requests/2/diffs#bc2cc73a8917fa6fed183148df69119665eb4e55
</content>
</entry>
<entry>
<title>Python does not have quadruple-quote.</title>
<updated>2021-12-02T22:38:27Z</updated>
<author>
<name>Nick Mathewson</name>
<email>nickm@torproject.org</email>
</author>
<published>2021-12-02T22:38:27Z</published>
<link rel='alternate' type='text/html' href='http://git.dilluti0n.com/mirrors/arti.git/commit/?id=d582b1c43900e2c5df1b90a6c946afffac1312ed'/>
<id>urn:sha1:d582b1c43900e2c5df1b90a6c946afffac1312ed</id>
<content type='text'>
Fix a bug in postprocess_coverage.py that stuck a big row of '
characters in its output.
</content>
</entry>
<entry>
<title>Postprocess coverage index.html with python instead</title>
<updated>2021-12-01T17:02:53Z</updated>
<author>
<name>Nick Mathewson</name>
<email>nickm@torproject.org</email>
</author>
<published>2021-12-01T17:02:53Z</published>
<link rel='alternate' type='text/html' href='http://git.dilluti0n.com/mirrors/arti.git/commit/?id=14eeff00ef6b98b12e7a09cef4480b9800dae39e'/>
<id>urn:sha1:14eeff00ef6b98b12e7a09cef4480b9800dae39e</id>
<content type='text'>
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.
</content>
</entry>
</feed>
