Skip to content
CI build

Create LICENSE (#198) #269

Sign in to view logs

Create LICENSE (#198)

Create LICENSE (#198) #269

Triggered via push September 13, 2024 21:30
@HuStmpHrrrHuStmpHrrr
pushed 9629e9a
main
Status Success
Total duration 8m 47s
Artifacts –

ci_build.yaml

on: push
Completeness of _CoqProject
3s
Completeness of _CoqProject
Continuous Intergration
8m 37s
Continuous Intergration
Fit to window
Zoom out
Zoom in