Skip to content
CI build

Update ci_build.yaml (#190) #249

Sign in to view logs

Update ci_build.yaml (#190)

Update ci_build.yaml (#190) #249

Triggered via push September 10, 2024 21:39
@HuStmpHrrrHuStmpHrrr
pushed 6522b8f
main
Status Success
Total duration 6m 33s
Artifacts –

ci_build.yaml

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