Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update coq-debian.yml (mit-plv#1877)
Remove change that broke CI, sorry for not testing
- Loading branch information