Skip to content
coq-action

Use primitive projections, use qualified imports #413

Sign in to view logs

Use primitive projections, use qualified imports

Use primitive projections, use qualified imports #413

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 43s
2m 43s