From b255107aa62c571ca0ec728c5cff5aae7723fa15 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 8 Nov 2023 22:23:33 -0800 Subject: [PATCH] [CI] [opam] Try to fix outdated opam repos --- .github/workflows/coq-opam-package.yml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index 7b3cfbc4ee..3e75625031 100644 --- 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,6 +29,7 @@ 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' @@ -35,6 +37,13 @@ jobs: - 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: |