Skip to content
Nagini Tests Ubuntu

Let arbitrary boolean values used in MaySet encoding depend on reference #176

Sign in to view logs

Let arbitrary boolean values used in MaySet encoding depend on reference

Let arbitrary boolean values used in MaySet encoding depend on reference #176

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1h 15m 45s
1h 15m 45s