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

Triggered via push June 28, 2024 14:48
@mkannwischermkannwischer
pushed 124e510
main
Status Success
Total duration 3m 59s
Artifacts –

bench.yml

on: push
bench
3m 44s
bench
Fit to window
Zoom out
Zoom in