Skip to content
Bench

Add z3_4_12 to standard NIX config for all platforms. (#85) #65

Sign in to view logs

Add z3_4_12 to standard NIX config for all platforms. (#85)

Add z3_4_12 to standard NIX config for all platforms. (#85) #65

Run time

Learn about OS pricing on GitHub Actions
Job Run time
bench
3m 44s
3m 44s