Skip to content
Nagini Tests Ubuntu

Trying to find Z3 executable in different places that should also wor… #247

Sign in to view logs

Trying to find Z3 executable in different places that should also wor…

Trying to find Z3 executable in different places that should also wor… #247

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
44m 14s
44m 14s