Test and document "matrix" builds - Githubissues

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

MIT License

12 stars 4 forks source link

Test and document "matrix" builds #6

Closed erikmd closed 4 years ago