Skip to content
docker-ci-for-pr

Better diagnose syntax problems in inductive definitions with double implications #211

Sign in to view logs

Better diagnose syntax problems in inductive definitions with double implications

Better diagnose syntax problems in inductive definitions with double implications #211

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
59m 49s
build-stdknl
57m 54s
1h 57m 43s