Skip to content

Update ci_build.yaml #246

Update ci_build.yaml

Update ci_build.yaml #246

Triggered via pull request September 10, 2024 21:27
Status Failure
Total duration 19s
Artifacts

ci_build.yaml

on: pull_request
Completeness of _CoqProject
10s
Completeness of _CoqProject
Continuous Intergration
9s
Continuous Intergration
Fit to window
Zoom out
Zoom in

Annotations

1 error
Continuous Intergration
Process completed with exit code 1.