Skip to content

Feature/fix presup #344

Feature/fix presup

Feature/fix presup #344

Triggered via pull request September 30, 2024 16:26
Status Success
Total duration 2m 17s
Artifacts

ci_build.yaml

on: pull_request
Completeness of _CoqProject
5s
Completeness of _CoqProject
Continuous Intergration
2m 6s
Continuous Intergration
Fit to window
Zoom out
Zoom in