Commit 5b6b0d6a authored by Nick Mathewson's avatar Nick Mathewson 🦀
Browse files

Once more exclude arti-bench from coverage. 

This was added in !210; looks like it got removed by mistake with
!221.
parent 40c67e5e

maint/with_coverage.sh

+1 −0
Original line number Diff line number Diff line
@@ -132,6 +132,7 @@ grcov "$COVERAGE_BASEDIR/coverage_meta" \ 
	--excl-stop '^}' \

	--ignore="*/tests/*" \

	--ignore="*/examples/*" \

	--ignore="crates/arti-bench/*" \

	--ignore="*/github.com-1ecc6299db9ec823/*"



if [ "$format" != html ]; then