search

coq-community / docker-coq-action

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

test(coq-demo.yml): Bump coq (8.13 => latest) & Add coq.dev jobs #73

Closed erikmd closed 2 years ago

erikmd commented 2 years ago

Just a heads-up PR.

Loosely related: https://github.com/math-comp/docker-mathcomp/issues/19#issuecomment-1087572212