Skip to content
Back to pull request #4913

ci(refactor): remove Valgrind checks from omnibus and generalBatch #6868

Sign in to view logs

ci(refactor): remove Valgrind checks from omnibus and generalBatch

ci(refactor): remove Valgrind checks from omnibus and generalBatch #6868

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_cbmc_proofs
30m 14s
30m 14s