Commit 45dbb67

committed

[CI] Add Coq 8.20

1 parent 187c1b2 commit 45dbb67Copy full SHA for 45dbb67

2 files changed

+1392

-1

lines changed

.github/workflows
- nix-action-coq-8.20.yml
.nix
- config.nix

2 files changed

+1392

-1

lines changed

Comments

(0)