[CI] [opam] Try to fix outdated opam repos

mit-plv · Nov 9, 2023 · b255107 · b255107
1 parent 03d4e06
commit b255107
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -19,6 +19,7 @@ jobs:
         coq-version: ['dev', '8.18.0', '8.17.0']
         ocaml-compiler: ['4.11.1']
         os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
+        extra-ocaml-repositories: ['', 'opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset']
         coq-extra-flags: ['-async-proofs-j 1', '']
         opam-jobs-flag: ['-j 1', '']
         exclude:
@@ -28,13 +29,21 @@ jobs:
           coq-extra-flags: '-async-proofs-j 1'
         - os: 'windows-latest'
           coq-extra-flags: ''
+
         - os: 'ubuntu-latest'
           opam-jobs-flag: '-j 1'
         - os: 'macos-latest'
           opam-jobs-flag: '-j 1'
         - os: 'windows-latest'
           opam-jobs-flag: ''
 
+        - os: 'ubuntu-latest'
+          extra-ocaml-repositories: 'opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset'
+        - os: 'macos-latest'
+          extra-ocaml-repositories: 'opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset'
+        - os: 'windows-latest'
+          extra-ocaml-repositories: ''
+
 
     runs-on: ${{ matrix.os }}
 
@@ -46,6 +55,9 @@ jobs:
       uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
+        opam-repositories: |
+          ${{ matrix.extra-ocaml-repositories }}
+          default: https://github.com/ocaml/opam-repository.git
 
     - name: echo Linux build params
       run: |