Skip to content
Build Linux partially with CPROVER tools

Deprecate make_and in favour of conjunction(expr, expr) #7653

Sign in to view logs

Deprecate make_and in favour of conjunction(expr, expr)

Deprecate make_and in favour of conjunction(expr, expr) #7653

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CompileLinux
12m 25s
12m 25s