From 9dda471b81974f3c10eb61d855e03130f8fe089c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 16 Oct 2024 18:14:17 -0700 Subject: [PATCH] Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#1971)" (#1976) This reverts commit 350ff6fc5754e7c2c620b9b6b5a04d466821de98. --- .github/workflows/coq-docker.yml | 4 ++-- .github/workflows/coq-opam-package.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index 1d3aad118d..ca1226125c 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -194,7 +194,7 @@ jobs: build-js-of-ocaml: needs: build - runs-on: ubuntu-22.04 + runs-on: ubuntu-latest strategy: fail-fast: false matrix: @@ -243,7 +243,7 @@ jobs: build-wasm-of-ocaml: needs: build - runs-on: ubuntu-22.04 + runs-on: ubuntu-latest strategy: fail-fast: false matrix: diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index 7847937f36..ed87b630b9 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -18,7 +18,7 @@ jobs: matrix: coq-version: ['dev', '8.19.0', '8.18.0'] os: [{name: 'Ubuntu', - runs-on: 'ubuntu-22.04', + runs-on: 'ubuntu-latest', ocaml-compiler: '4.09.1', coq-extra-flags: '', ocamlfind-pin: '',