Skip to content
CI build

Update CI to have (temporary) extension page #360

Sign in to view logs

Update CI to have (temporary) extension page

Update CI to have (temporary) extension page #360

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Completeness of _CoqProject
2s
Continuous Intergration
2m 35s
2m 37s