fix: Use actions/checkout@v4 - Githubissues

coq-community / docker-coq-action

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

MIT License

12 stars 4 forks source link

fix: Use actions/checkout@v4 #95

Closed erikmd closed 2 months ago