Skip to content
Back to pull request #242

Update ci_build.yaml #373

Sign in to view logs

Update ci_build.yaml

Update ci_build.yaml #373

Triggered via pull request October 5, 2024 00:56
@HuStmpHrrrHuStmpHrrr
opened #242
relativize-readme
Status Success
Total duration 7m 43s
Artifacts –

ci_build.yaml

on: pull_request
Completeness of _CoqProject
3s
Completeness of _CoqProject
Continuous Intergration
7m 33s
Continuous Intergration
Fit to window
Zoom out
Zoom in