Skip to content
FreeBSD

chore: make cbmc proof build more strict by adding -Werror flag #7097

Sign in to view logs

chore: make cbmc proof build more strict by adding -Werror flag

chore: make cbmc proof build more strict by adding -Werror flag #7097

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CI FreeBSD
8m 50s
8m 50s