From 41383bfbbd62ad9b7c1210c44ef3de66d88b6cff Mon Sep 17 00:00:00 2001 From: Joris Vaillant Date: Thu, 16 Nov 2023 17:18:03 +0100 Subject: [PATCH] ci: use the good file extension --- .github/workflows/{check-changelog.md => check-changelog.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{check-changelog.md => check-changelog.yml} (100%) diff --git a/.github/workflows/check-changelog.md b/.github/workflows/check-changelog.yml similarity index 100% rename from .github/workflows/check-changelog.md rename to .github/workflows/check-changelog.yml