Skip to content
Back to pull request #1163

check if numa available or not before loading numa functions #1776

Sign in to view logs

check if numa available or not before loading numa functions

check if numa available or not before loading numa functions #1776

Run time

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