From 249c248d308a6bd6f7d69beaeea5f78caaf84d7b Mon Sep 17 00:00:00 2001
From: Joris Vaillant <joris.vaillant@inria.fr>
Date: Thu, 16 Nov 2023 17:04:44 +0100
Subject: [PATCH] ci: run check-changelog on latest ubuntu
---
.github/workflows/check-changelog.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/check-changelog.md b/.github/workflows/check-changelog.md
index 42f7bcdb..d998bcab 100644
--- a/.github/workflows/check-changelog.md
+++ b/.github/workflows/check-changelog.md
@@ -6,7 +6,7 @@ on:
jobs:
check-changelog:
name: Check changelog action
- runs-on: ubuntu-20.04
+ runs-on: ubuntu-latest
steps:
- uses: tarides/changelog-check-action@v2
with:
--
GitLab