Add maintenance intent #1107
Merged
Add maintenance intent #1107
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
@anmonteiro any idea how to fix the nix issue? |
|
There's an issue with this: you use dune-project to generate opam files. For the time being, you'll need to carry |
|
Also, you missed http.opam. |
|
I thought there was need to support 2.5.x and 5.x, the first for janestreet and the second for ocsigen, is it no longer the case? |
|
I didn't know JS needed 2.5.x support -- @rgrinberg is this still the case? |
|
Follow-up PR here: #1108 1108 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fix #1102