Skip to content
CI build

Update syntax #69

Sign in to view logs

Update syntax

Update syntax #69

Triggered via push December 13, 2023 10:16
@AilrunAilrun
pushed f4817d4
main
Status Success
Total duration 11m 48s
Artifacts –

ci_build.yml

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