Skip to content
Nagini Basic Tests Windows

Add basic Windows tests in CI; fix automatic Z3 executable path detection on Windows #10

Sign in to view logs

Add basic Windows tests in CI; fix automatic Z3 executable path detection on Windows

Add basic Windows tests in CI; fix automatic Z3 executable path detection on Windows #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
22m 11s
22m 11s