Skip to content

Commit

Permalink
Drop testing of non-dev versions of Coq (#1700)
Browse files Browse the repository at this point in the history
  • Loading branch information
@JasonGross
JasonGross authored Nov 6, 2023
1 parent 00658ba commit f5a0c64
Showing 1 changed file with 0 additions and 84 deletions.
84 changes: 0 additions & 84 deletions .github/workflows/coq.yml
View file

This file was deleted.

0 comments on commit f5a0c64

Please sign in to comment.