Test with current upstream checkseum (#12)

* Update workflow.yml * Update workflow.yml * Update workflow.yml * Update workflow.yml
mseri · Jul 30, 2021 · 8fa80f8 · 8fa80f8
1 parent a3778cf
commit 8fa80f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -158,7 +158,7 @@ jobs:
               "@opam/zarith": "github:dune-universe/Zarith:zarith.opam#c62b045106fafa407874053bdd79273a8f591352",
               "@opam/num": "github:dune-universe/num:num.opam#bdb2d7653e927e142b701b51d89f393471279713",
               "@opam/cmdliner": "github:dune-universe/cmdliner:cmdliner.opam#4fc08affe26642b6285cedc1d2ca7ec03127caf3",
-              "@opam/checkseum": "github:mseri/checkseum:esy.json#2b01c3cb437ea17b95415f80cc66fd91332e4669",
+              "@opam/checkseum": "github:mirage/checkseum:checkseum.opam#a929e09204d2de5626390a9975eb62aefee2824a",
               "@opam/cstruct-sexp": "5.2.0",
               "@opam/ocamlfind": "1.8.1",
               "@opam/decompress": "1.4.1"