Update reviewdog config - Githubissues

coq-community / docker-coq-action

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

MIT License

12 stars 4 forks source link

Update reviewdog config #15

Closed erikmd closed 4 years ago