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.

Sign up for GitHub

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

Jump to bottom

[CI] Update equation (now uses dune) #101

Merged

proux01 merged 1 commit into coq:master from proux01:ci-equations

Feb 1, 2025

+8 −8

Contributor

proux01 commented Jan 31, 2025 •

edited

Loading

Using NixOS/nixpkgs#378299

proux01 force-pushed the ci-equations branch 8 times, most recently from b99027e to 5a18709 Compare

January 31, 2025 13:43

Contributor Author

proux01 commented Jan 31, 2025

Seems to work, PR opened on coq-community/coq-nix-toolbox#320


          [CI] Update equation (now uses dune)

2af12f0

proux01 force-pushed the ci-equations branch from 5a18709 to 2af12f0 Compare

February 1, 2025 09:38

proux01 changed the title ~~[CI] Test equation update (now uses dune)~~ [CI] Update equation (now uses dune)

proux01 marked this pull request as ready for review

February 1, 2025 12:07

proux01 merged commit ce2550e into coq:master

228 of 230 checks passed

proux01 deleted the ci-equations branch

February 1, 2025 12:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet