search

coq-community / docker-coq-action

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

How to test with fatal warnings in CI without activating them in the opam file that will be used to release? #59

Open Zimmi48 opened 3 years ago

Zimmi48 commented 3 years ago

Follow-up of the discussion here: https://github.com/coq/opam-coq-archive/pull/1643