Skip to content
Build Xen with CPROVER tools

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

Sign in to view logs

Deprecate make_and in favour of conjunction(expr, expr)

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CompileXen
1m 6s
1m 6s