Skip to content

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

Draft
gares wants to merge 2 commits into
2021.02from
ci
Draft

[wip] script to copy Coq's CI info into the platform#44
gares wants to merge 2 commits into
2021.02from
ci

[wip] script to pin Coq's ci

9cc0d58
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs