Skip to content

Fix #699: add ocaml versions #903

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
Closed
W95Psp wants to merge 3 commits into from
Closed

Fix #699: add ocaml versions #903

W95Psp wants to merge 3 commits into from

Conversation

@W95Psp
Copy link
Member

@W95Psp W95Psp commented Sep 23, 2024 •
edited
Loading

Fixes #699

@W95Psp W95Psp changed the title Fix #699 Fix #699: add ocaml versions Oct 7, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Dec 7, 2024

This PR has been marked as stale due to a lack of activity for 60 days. If you believe this pull request is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

@github-actions github-actions bot added the stale label Dec 7, 2024
@W95Psp W95Psp removed the stale label Dec 16, 2024
@franziskuskiefer
Copy link
Member

franziskuskiefer commented Jan 23, 2025

@W95Psp can you file an issue to track this and close this?

@W95Psp W95Psp requested a review from maximebuyse January 23, 2025 15:03
@W95Psp W95Psp marked this pull request as ready for review January 23, 2025 15:03
@franziskuskiefer franziskuskiefer added this pull request to the merge queue Jan 24, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jan 24, 2025
@maximebuyse maximebuyse added this pull request to the merge queue Jan 30, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jan 30, 2025
@maximebuyse
Copy link
Contributor

maximebuyse commented Jan 30, 2025

There was a CI failure in setup_sh on ubuntu:

Error:  Package conflict!
  * Missing dependency:
    - pprint < 20130131
    no matching version

Should we change the version of pprint?

@karthikbhargavan
Copy link
Contributor

karthikbhargavan commented May 13, 2025

We will look into a different way of solving this.

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

Reviewers

@maximebuyse maximebuyse maximebuyse approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Pin major versions of every OCaml dependency

4 participants

@W95Psp @franziskuskiefer @maximebuyse @karthikbhargavan