Skip to content
CI build

Change McLTT into McTT (#262) #418

Sign in to view logs

Change McLTT into McTT (#262)

Change McLTT into McTT (#262) #418

Triggered via push November 16, 2024 22:07
@AilrunAilrun
pushed 7d87039
main
Status Success
Total duration 7m 36s
Artifacts –

ci_build.yaml

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