Skip to content

fix: s/9.00/9.0/ and (input Docker image, output Docker tag) for (coqorg/coq, rocq/rocq-prover)#34

Merged
erikmd merged 3 commits intomasterfrom
fix-9.0
Apr 30, 2025
Merged

fix: s/9.00/9.0/ and (input Docker image, output Docker tag) for (coqorg/coq, rocq/rocq-prover)#34
erikmd merged 3 commits intomasterfrom
fix-9.0

Commits

Commits on Apr 30, 2025