search

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
MIT License
12 stars 4 forks source link

Add `on:` to example CI yml file #68

Closed JasonGross closed 2 years ago

JasonGross commented 2 years ago

It's required to have GH Actions run

JasonGross commented 2 years ago

Oh, apparently this is just supposed to be a snippet, not a complete file