From 7d87326494284a121152fcfba757758191609caf Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Tue, 3 Dec 2024 18:07:39 -0600 Subject: [PATCH] Use ubuntu-latest in CI --- .github/workflows/kind2-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml index dfacdd8ae..29de9ed49 100644 --- a/.github/workflows/kind2-ci.yml +++ b/.github/workflows/kind2-ci.yml @@ -11,7 +11,7 @@ jobs: kind2-build: strategy: matrix: - os: [ ubuntu-20.04, macos-13, macos-14 ] + os: [ ubuntu-latest, macos-13, macos-14 ] include: - os: macos-13 pkg_update: brew update @@ -19,7 +19,7 @@ jobs: - os: macos-14 pkg_update: brew update ocaml-version: 4.10.2 # Oldest version available - - os: ubuntu-20.04 + - os: ubuntu-latest pkg_update: sudo apt-get update -y ocaml-version: 4.09.1