Commit aa07e32

committed

[CI] Test Rocq 9.0+rc1

1 parent 081ce33 commit aa07e32Copy full SHA for aa07e32

3 files changed

+1153

-1153

lines changed

.github/workflows
- nix-action-rocq-9.0.yml
- nix-action-rocq-master.yml
.nix
- config.nix

3 files changed

+1153

-1153

lines changed

Comments

(0)