Commit e91296b

committed

[CI] Test MC master on stable Rocq

1 parent 53e0363 commit e91296bCopy full SHA for e91296b

2 files changed

+764

-0

lines changed

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

2 files changed

+764

-0

lines changed

Comments

(0)