Update upstream dependencies #669
Merged
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
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Small update with dependency tweaks and optimization to `skip_many` Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
No apparent changes on jsonrpc, which is on upstream Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Minor update for dune, with some tweaks and fixes, among which - Adds command `dune ocaml doc` Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
psafont
force-pushed
the
musty
branch
5 times, most recently
from
3220006 to
bfea208
Compare
|
A failure in the CI about an unknown dependency |
Needs an update goblint-cil and fileutils Adds a bunch of checkers and ocaml 5 compatibility Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Adds compatibility with tls 0.17.0 Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
adds wasm mime type Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
fix GC corruption when serializing large yamls Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Compatibility with ocaml 5, some minor xml attribute and element tweaks Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
fix for races in global init Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
adds ocaml 5.1 compatibility Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
It's now thread-safe and domain-safe Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Minor update, adds support for ocaml 5.1 Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Minor update, adds support for ocaml 5.2 Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Minor update, adds latest released ocaml versions to metadata Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Minor update: Basic, Safe and Raw are different compilation units, are discarded if unused Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Adds unparsing API to transform ASTs to text, and minor changes Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Splits thread_local into its own package Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Skip Pax GlobalExtendedHeaders Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
|
I think when goblint was included conf-ruby was deleted from the opam metadatada. I'm trying to maintian that dependency by adding conf-ruby to |
Packages that are only used for testing upstream packages, have been moved to upstream-extra. These packages are not used for developing the toolstack. Packages that are used for developing / testing the toolstack got added to the permitted list ppx_blob got removed as it's unused Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Adds version for ocaml 5.3 Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
This needed to update pbrt to a breaking version. This should more performant Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Minor update with no known breaking changes Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
C locale is enforced so the sorting used by comm is not system-dependent. Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
When packaging from an untagged commit, the version reflects the commit correctly. Now the tarball contains only the minimum amount of files to create a repository. Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
This has been proven robust enough, create the actual releases from the workflow Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
|
I've made builds, and now I'm testing them. I'm wary about the tar package, so I've started the storage tests, which have more import and export tests: |
lindig
approved these changes
Mar 6, 2024
|
There were two unrelated storage issues, due to lab issues, and another one because the testing code was not up-to-date with the current code in all master branches. This can be merged whenever we want |
Vincent-lau
approved these changes
Mar 7, 2024
# for free
to join this conversation on GitHub.
Already have an account?
# 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.
Wide update of dependencies, All of them seem minor, but needs testing.
I'm holding off known breaking updates for: