Skip to content
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

Non-CI minimization should support minimizing against two versions of Coq using opam switches #29

Open
JasonGross opened this issue Sep 25, 2023 · 0 comments

Comments

@JasonGross
Copy link
Member

Saying something like coqbot minimize coq.8.16 coq.8.17 (or coq.8.16 vs coq.8.17?) should have the minimizer set up two opam switches and two directory trees, run the script on both, determine automatically which one succeeds and which one fails, and then launch the minimizer against both builds

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

No branches or pull requests

1 participant