Skip to content

Commit

Permalink
Update sources (#1117)
Browse files Browse the repository at this point in the history
* Update sources

* wip

---------

Co-authored-by: UpdateBot <[email protected]>
  • Loading branch information
anmonteiro and ulrikstrid authored Oct 19, 2023
1 parent 5313144 commit 2d3c13d
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 6 deletions.
5 changes: 4 additions & 1 deletion ci/filter.nix
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ let
"hol_light"
"ppx_tools_versioned"

# Broken since OCaml 4.14
# Conflicts with cohttp v6 because of the HTTP module
"eliom"
"ocsigen-start"
"ocsigen-toolkit"
Expand Down Expand Up @@ -101,6 +101,9 @@ let

"linol"
"linol-lwt"

# Doesn't build on 4.14. Re-enable when we remove 4.14
"asai"
];

ocaml5Ignores = [
Expand Down
8 changes: 4 additions & 4 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
};

inputs = {
nixpkgs.url = "github:NixOS/nixpkgs?rev=982b24c40e743793c966b47b3bb3699881489ae0";
nixpkgs.url = "github:NixOS/nixpkgs?rev=2cb9af4323c64c93e8df3cae5988a53b8687ef3f";
flake-utils.url = "github:numtide/flake-utils";
};

Expand Down

0 comments on commit 2d3c13d

Please sign in to comment.