Skip to content

ci: More Coq versions#35

Merged
sweirich merged 1 commit intoplclub:masterfrom
liyishuai:master
Mar 25, 2025
Merged

ci: More Coq versions#35
sweirich merged 1 commit intoplclub:masterfrom
liyishuai:master

Conversation

@liyishuai
Copy link
Member

No description provided.

@sweirich sweirich merged commit bab4904 into plclub:master Mar 25, 2025
7 checks passed
@sweirich
Copy link
Contributor

Thank you Yishuai!

@liyishuai liyishuai mentioned this pull request Mar 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants