Skip to content
Nagini Tests Ubuntu

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

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 #175

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1h 38m 32s
1h 38m 32s