Add digestif and increase mirage crypto version

ulrikstrid · Dec 16, 2024 · 6d3d92d · 6d3d92d
1 parent b908390
commit 6d3d92d
Show file tree

Hide file tree

Showing 4 changed files with 29 additions and 71 deletions.
diff --git a/.github/workflows/check-pr.yml b/.github/workflows/check-pr.yml
@@ -3,7 +3,7 @@ name: Check PR
 on:
   pull_request:
     branches:
-    - master
+      - master
 
 jobs:
   opam:
@@ -50,10 +50,6 @@ jobs:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
 
-      - uses: cachix/cachix-action@v12
-        with:
-          name: anmonteiro
-
       - name: Build
         run: nix develop --accept-flake-config -c dune build
 

diff --git a/dune-project b/dune-project
@@ -33,7 +33,7 @@
   (eqaf
    (>= 0.7))
   (mirage-crypto
-   (>= 0.10.0))
+   (>= 1.0.0))
   (x509
    (>= 0.13.0))
   (cstruct
@@ -46,7 +46,8 @@
   (mirage-crypto-rng
    (and
     :with-test
-    (>= 0.11.0)))
+    (>= 1.0.0)))
+  digestif
   (containers :with-test)
   (bisect_ppx :with-test)
   (alcotest :with-test)

diff --git a/flake.lock b/flake.lock
diff --git a/jose.opam b/jose.opam
@@ -17,14 +17,15 @@ depends: [
   "base64" {>= "3.3.0"}
   "dune" {>= "2.8"}
   "eqaf" {>= "0.7"}
-  "mirage-crypto" {>= "0.10.0"}
+  "mirage-crypto" {>= "1.0.0"}
   "x509" {>= "0.13.0"}
   "cstruct" {>= "6.0.0"}
   "astring"
   "yojson" {>= "1.6.0"}
   "zarith"
   "ptime"
-  "mirage-crypto-rng" {with-test & >= "0.11.0"}
+  "mirage-crypto-rng" {with-test & >= "1.0.0"}
+  "digestif"
   "containers" {with-test}
   "bisect_ppx" {with-test}
   "alcotest" {with-test}