Skip to content
Test Z3

Use named arguments in sub-commands (inspired by OCamlPro/owi#461) #388

Sign in to view logs

Use named arguments in sub-commands (inspired by OCamlPro/owi#461)

Use named arguments in sub-commands (inspired by OCamlPro/owi#461) #388

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
18m 32s
18m 32s