8eb843f2af
make almost all scripts use bash and set euo pipefail
2022-05-25 22:25:58 +02:00
7c4ad15fc3
use default toolchain from rustup instead of stable for coverage
...
using stable doesn't work for CI because a specific version like 1.60 is installed
2022-04-08 16:19:28 +02:00
98ed22ba55
bring back RUST_COVERAGE_TOOLCHAIN
2022-04-08 15:46:46 +02:00
c113c607ac
use rustc 1.60 (stable) for coverage
2022-04-07 23:04:10 +02:00
80ba587937
fix with_coverage script to exclude pub(crate) mod test from results
2022-03-24 19:53:53 +01:00
64fa8ea77d
Omit arti-testing from coverage.
2022-03-04 15:24:38 -05:00
6ce6e400c7
add script for coverage on fuzzing
2022-02-22 20:45:55 +01:00
1c301230e4
rename *.py scripts to bare name
...
Update all references. There are three remaining hits for
git-grep '\.py\b'
all of which are scripts in "little-t-tor", not here in arti.
2022-02-18 11:46:06 +00:00
9aefbf4227
rename *.sh scripts to bare name
...
As per #309
Update all references. There is one remaining hit for
git-grep '\.sh\b'
namely "build.sh" in maint/reproducible_build, which I think is
the build script for osxcross - ie, an external project.
2022-02-18 11:46:06 +00:00
trinity-1686a
Nick Mathewson
Ian Jackson