Skip to content

[wip] script to copy Coq's CI info into the platform#44

Draft
gares wants to merge 2 commits into2021.02from ci

Commits

Commits on Dec 15, 2020