Skip to content
Open Issues

Merge branch 'master' of https://github.com/z3prover/z3 #1819

Sign in to view logs

Merge branch 'master' of https://github.com/z3prover/z3

Merge branch 'master' of https://github.com/z3prover/z3 #1819

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
30m 52s
30m 52s