From 77ce5ee7ecf97d13b0dc3d00e7ac92b6a64f7c32 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Wed, 5 Jun 2024 22:32:21 +0100 Subject: [PATCH] Parent --- .github/workflows/ci.ml | 4 ++-- .github/workflows/depexts.yml | 2 +- .github/workflows/main.yml | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.ml b/.github/workflows/ci.ml index 5df3293304b..3b2935eb83e 100644 --- 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 index 1328d276f8f..fa26e8c7e75 100644 --- 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 index 65500a29520..2fa450b8969 100644 --- 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