Skip to content

Update coq-action.yml#31

Open
CohenCyril wants to merge 1 commit into
masterfrom
ci
Open

Update coq-action.yml#31
CohenCyril wants to merge 1 commit into
masterfrom
ci

Update coq-action.yml

3247eaf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs