Skip to content
CI build

Change McLTT into McTT (for the main branch) #417

Sign in to view logs

Change McLTT into McTT (for the main branch)

Change McLTT into McTT (for the main branch) #417

Triggered via pull request November 16, 2024 21:59
@AilrunAilrun
opened #262
pr-update-names
Status Success
Total duration 7m 45s
Artifacts –

ci_build.yaml

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