-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
adapt to coq/coq#15220 #34
Conversation
39ac581
to
54707f1
Compare
bdd2a3f
to
b2e9251
Compare
The .v89 files seem to be missing (RewriterBuild.v.v89, at the very least) |
3cd971b
to
da41ff9
Compare
done, please re-run ci |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks! All checks but master pass; let me know when to merge.
6bdc30e
to
f27ac68
Compare
f27ac68
to
be217af
Compare
Please merge now |
@SkySkimmer How long does it take for the docker image to be updated? I'm still getting "Unknown option src/Rewriter/Util/plugins/META.coq-rewriter" |
No idea |
About an hour after you commented. I've told it to try again now |
green |
To be merge when coq/coq#15220 is.