search

coq-community / docker-coq-action

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

docs: Add comments in helper.sh #36

Closed erikmd closed 4 years ago

erikmd commented 4 years ago

Technical doc. Just a heads-up PR, but merging now.