Skip to content

Support for Coq 8.20#115

Merged
yforster merged 8 commits intomasterfrom
coq-8.20
Jul 1, 2025
Merged

Support for Coq 8.20#115
yforster merged 8 commits intomasterfrom
coq-8.20

Conversation

@yforster
Copy link
Copy Markdown
Member

No description provided.

@yforster
Copy link
Copy Markdown
Member Author

TODO: remove the trace printing that was enabled for debug purposes in runtime

@womeier
Copy link
Copy Markdown
Contributor

womeier commented May 23, 2025

hey @yforster, is this ready to be merged?

I'll have some time to clean up the missing parts for the PR of the Wasm backend.
Having 8.20 available would help me with that.

@spitters spitters mentioned this pull request Jul 1, 2025
4 tasks
@yforster
Copy link
Copy Markdown
Member Author

yforster commented Jul 1, 2025

If CI goes green we can merge and release

@yforster yforster merged commit 0f60e83 into master Jul 1, 2025
1 check passed
@liyishuai liyishuai mentioned this pull request Sep 3, 2025
1 task
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