Merge pull request #240 from Beluga-lang/main #370
ci_build.yaml
on: push
Completeness of _CoqProject
2s
Continuous Intergration
5m 12s