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.

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

Pin major versions of every OCaml dependency #699

Open
W95Psp opened this issue Jun 3, 2024 · 3 comments · May be fixed by #903
Open

Pin major versions of every OCaml dependency #699

W95Psp opened this issue Jun 3, 2024 · 3 comments · May be fixed by #903
Assignees
@W95Psp
Labels
engine Issue in the engine enhancement New feature or request

Comments

@W95Psp
Copy link
Collaborator

W95Psp commented Jun 3, 2024

No description provided.

@W95Psp W95Psp linked a pull request Jun 10, 2024 that will close this issue
Fix issue #699: pin OCaml dependencies #705
Closed
@github-actions GitHub Actions
Copy link

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue 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 Aug 28, 2024
@W95Psp
Copy link
Collaborator Author

W95Psp commented Aug 28, 2024

Still relevant, I need to debug #705

@github-actions github-actions bot removed the stale label Aug 29, 2024
@W95Psp W95Psp added enhancement New feature or request engine Issue in the engine labels Oct 10, 2024
@github-actions GitHub Actions
Copy link

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue 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 15, 2024
@W95Psp W95Psp linked a pull request Jan 23, 2025 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@W95Psp W95Psp

Labels
engine Issue in the engine enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix #699: add ocaml versions cryspen/hax
Fix issue #699: pin OCaml dependencies cryspen/hax
2 participants
@W95Psp @franziskuskiefer