Skip to content

Commit

Permalink
chore(nix): update flakes (#1100)
Browse files Browse the repository at this point in the history
  • Loading branch information
anmonteiro authored Jan 9, 2025
1 parent 716d6e6 commit f3abde6
Show file tree
Hide file tree
Showing 3 changed files with 20 additions and 51 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/nix.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,14 +5,14 @@ on:
jobs:
tests:
runs-on: ubuntu-latest
env:
NIXPKGS_ALLOW_INSECURE: 1
steps:
- name: Checkout tree
uses: actions/checkout@v4
with:
submodules: true
- uses: cachix/install-nix-action@v30
with:
nix_path: nixpkgs=channel:nixos-unstable
- run: nix develop -c dune build @runtest @check
extra_nix_config: |
extra-substituters = https://anmonteiro.nix-cache.workers.dev
extra-trusted-public-keys = ocaml.nix-cache.com-1:/xI2h2+56rwFfKyyFVbkJSeGqSIYMC/Je+7XXqGKDIY=
- run: nix develop -L .# -c dune build @runtest @check
54 changes: 10 additions & 44 deletions flake.lock

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

9 changes: 6 additions & 3 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -37,13 +37,14 @@
default = http;
http = pkg {
pname = "http";
propagatedBuildInputs = [ ppx_expect ];
checkInputs = [ alcotest base_quickcheck ppx_expect crowbar ];
};
cohttp = pkg {
pname = "cohttp";
checkInputs = [ fmt alcotest ];
propagatedBuildInputs = [
stringext http re uri uri-sexp logs sexplib0 ppx_sexp_conv
base64 stringext http re uri uri-sexp logs sexplib0 ppx_sexp_conv
];
};
cohttp-top = pkg {
Expand All @@ -56,8 +57,9 @@
};
cohttp-curl-lwt = pkg {
pname = "cohttp-curl-lwt";
checkInputs = [ cohttp-lwt-unix cohttp cohttp-lwt conduit-lwt ounit2 uri ];
propagatedBuildInputs = [ ocurl http stringext lwt ];
checkInputs = [ alcotest cohttp-lwt-unix cohttp cohttp-lwt conduit-lwt ounit2 uri ];
propagatedBuildInputs = [ ocurl cohttp-curl http stringext lwt ];
__darwinAllowLocalNetworking = true;
};
cohttp-curl-async = pkg {
pname = "cohttp-curl-async";
Expand Down Expand Up @@ -94,6 +96,7 @@
http cohttp cohttp-lwt cmdliner lwt conduit-lwt
conduit-lwt-unix fmt ppx_sexp_conv magic-mime logs
];
__darwinAllowLocalNetworking = true;
};
cohttp-server-lwt-unix = pkg {
pname = "cohttp-server-lwt-unix";
Expand Down

0 comments on commit f3abde6

Please sign in to comment.