Skip to content
Build & test project

[PA] Working CHC generator and verification test framework #46

Sign in to view logs

[PA] Working CHC generator and verification test framework

[PA] Working CHC generator and verification test framework #46

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_test (dev, 4.14.1-flambda)
9m 22s
9m 22s