Feature/fix presup #346
Triggered via pull request
September 30, 2024 19:54
Status
Success
Total duration
4m 39s
Artifacts
–
ci_build.yaml
on: pull_request
Completeness of _CoqProject
8s
Continuous Intergration
4m 30s