From 062d6986c655c194cbb6802bb566a72c1a2f0e29 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Wed, 22 May 2024 12:51:18 -0400 Subject: [PATCH] Use `ubuntu-24.04` in CI --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c62db57ae..9c5cb0525 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,7 +13,7 @@ jobs: strategy: fail-fast: false matrix: - runner: [ubuntu-24.04, ubuntu-22.04, macos-13, macos-14, windows-2022] + runner: [ubuntu-24.04, macos-13, macos-14, windows-2022] cc: ["gcc", "clang"] codegen: ["amd64", "c", "llvm"] exclude: