From 1699a13cbe86c82e7c605e6326c5e54c22ab14a9 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 8 Oct 2024 18:00:51 -0700 Subject: [PATCH] [CI] Pin action steps that use setup-ocaml to ubuntu 22.04 --- .github/workflows/coq-docker.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index e805f7fa1c..ebc4e4122a 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-latest + runs-on: ubuntu-22.04 strategy: fail-fast: false matrix: @@ -243,7 +243,7 @@ jobs: build-wasm-of-ocaml: needs: build - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 strategy: fail-fast: false matrix: