Skip to content

Generate .opam and CI from coq-community/templates - #23

Open
TheoWinterhalter wants to merge 2 commits into
mainfrom
ci-template
Open

Generate .opam and CI from coq-community/templates#23
TheoWinterhalter wants to merge 2 commits into
mainfrom
ci-template

Add test version to meta.yml

f9e875f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs