Skip to content
force_push

chore: make cbmc proof build more strict by adding -Werror flag (#4606) #1726

Sign in to view logs

chore: make cbmc proof build more strict by adding -Werror flag (#4606)

chore: make cbmc proof build more strict by adding -Werror flag (#4606) #1726

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
11s
11s