Skip to content

Fix weird TOC

Fix weird TOC #313

Triggered via pull request September 18, 2024 00:54
Status Success
Total duration 7m 24s
Artifacts

ci_build.yaml

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