Skip to content
Back to pull request #1150

Only set mtune neoverse if compiler supports it #1703

Sign in to view logs

Only set mtune neoverse if compiler supports it

Only set mtune neoverse if compiler supports it #1703

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_cbmc_proofs
19m 48s
19m 48s