Tobin C. Harding 1fe90223aa Remove DO_COV ... We have test coverage by way of `coveralls` now. Remove the old stale `DO_COV` stuff. Fix: #1853		2024-01-23 14:27:10 +11:00
..
coveralls.yml	Ignore fuzz dir from coverage reports	2024-01-19 18:09:59 +01:00
fuzz.yml	Bump actions/cache from 3 to 4	2024-01-22 10:53:21 +00:00
gh-release.yml	CI: add an automated github releases on new tags	2023-09-10 19:21:22 -03:00
kani.yml	Bump model-checking/kani-github-action from 1.0 to 1.1	2024-01-15 10:43:18 +00:00
manage-pr.yml	Add automated labeler job	2024-01-20 16:35:37 +01:00
release.yml	Bump actions/checkout from 2 to 4	2023-09-09 15:26:36 +00:00
rust.yml	Remove DO_COV	2024-01-23 14:27:10 +11:00
rustfmt.yml	Add author for the format bot	2023-12-02 06:23:46 +11:00