Skip to content

Commit 6b66674

Browse files
committed
[CI] Test MC master on stable Rocq
1 parent bb2606c commit 6b66674

File tree

2 files changed

+844
-0
lines changed

2 files changed

+844
-0
lines changed

0 commit comments

Comments
 (0)