Skip to content
Test Z3

Compile with z3_mappings2.nop.ml when z3 is not installed #18

Sign in to view logs

Compile with z3_mappings2.nop.ml when z3 is not installed

Compile with z3_mappings2.nop.ml when z3 is not installed #18

Triggered via push June 12, 2024 14:56
@filipeomfilipeom
pushed 8415660
main
Status Success
Total duration 13m 19s
Artifacts –

test-z3.yml

on: push
test-z3
13m 10s
test-z3
Fit to window
Zoom out
Zoom in