Parent

dra27 · Jun 5, 2024 · 77ce5ee · 77ce5ee
1 parent 9e0dc6c
commit 77ce5ee
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/ci.ml b/.github/workflows/ci.ml
@@ -476,8 +476,8 @@ let main oc : unit =
     ("OPAM12CACHE", "~/.cache/opam1.2/cache");
     (* These should be identical to the values in appveyor.yml *)
     ("OPAM_REPO", "https://github.com/dra27/opam-repository.git");
-    ("OPAM_TEST_REPO_SHA", "cef59bc687f8af1060c471b4d633b63cd30df108");
-    ("OPAM_REPO_SHA", "cef59bc687f8af1060c471b4d633b63cd30df108");
+    ("OPAM_TEST_REPO_SHA", "5979d639be2999663a41c1d1b8a73ce3036dcb41");
+    ("OPAM_REPO_SHA", "5979d639be2999663a41c1d1b8a73ce3036dcb41");
     ("SOLVER", "");
     (* Cygwin configuration *)
     ("CYGWIN_MIRROR", "http://mirrors.kernel.org/sourceware/cygwin/");

diff --git a/.github/workflows/depexts.yml b/.github/workflows/depexts.yml
@@ -18,7 +18,7 @@ defaults:
 env:
   OPAMVERSION: 2.1.0
   OPAM_REPO: https://github.com/dra27/opam-repository.git
-  OPAM_REPO_SHA: cef59bc687f8af1060c471b4d633b63cd30df108
+  OPAM_REPO_SHA: 5979d639be2999663a41c1d1b8a73ce3036dcb41
 
 jobs:
   opam-cache:

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -26,8 +26,8 @@ env:
   OPAMBSROOT: ~/.cache/.opam.cached
   OPAM12CACHE: ~/.cache/opam1.2/cache
   OPAM_REPO: https://github.com/dra27/opam-repository.git
-  OPAM_TEST_REPO_SHA: cef59bc687f8af1060c471b4d633b63cd30df108
-  OPAM_REPO_SHA: cef59bc687f8af1060c471b4d633b63cd30df108
+  OPAM_TEST_REPO_SHA: 5979d639be2999663a41c1d1b8a73ce3036dcb41
+  OPAM_REPO_SHA: 5979d639be2999663a41c1d1b8a73ce3036dcb41
   SOLVER:
   CYGWIN_MIRROR: http://mirrors.kernel.org/sourceware/cygwin/
   CYGWIN_ROOT: D:\cygwin