Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Run all CI on ubuntu (no platform-specific code) - Switch to codecov - Update MIRIFLAGS Remove: - valgrind/fuzzing (stubs) - rust-code-analysis and - weighted-code-coverage
- Loading branch information