Skip to content
CI build

Update ci_build.yaml (#188) #242

Sign in to view logs

Update ci_build.yaml (#188)

Update ci_build.yaml (#188) #242

Triggered via push September 10, 2024 19:33
@HuStmpHrrrHuStmpHrrr
pushed 55ca3f1
main
Status Failure
Total duration 7m 34s
Artifacts –

ci_build.yaml

on: push
Completeness of _CoqProject
4s
Completeness of _CoqProject
Continuous Intergration
7m 25s
Continuous Intergration
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 notice
Continuous Intergration
The deploy step encountered an error: The process '/usr/bin/git' failed with exit code 128 ❌
Continuous Intergration
Deployment failed! ❌