Skip to content
Build & test project

[PA] Probe CHC generation issue on recursive example #47

Sign in to view logs

[PA] Probe CHC generation issue on recursive example

[PA] Probe CHC generation issue on recursive example #47

Run time

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