zunction / docker-coq-github-action-demo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from erikmd/docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
Home Page: https://github.com/coq-community/docker-coq-action
License: MIT License