Adds property-based testing and fuzzing for SMT
#321
This workflow is awaiting approval from a maintainer in #385
Triggered via pull request
February 21, 2025 10:58
krushimir
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #385
lint.yml
on: pull_request
check rust version consistency
clippy nightly on ubuntu-latest
doc stable on ubuntu-latest
rustfmt check nightly on ubuntu-latest