From 7f2233bcdde34bf0ea7a2598b0b829d25eca7fac Mon Sep 17 00:00:00 2001
From: Joris Vaillant <joris.vaillant@inria.fr>
Date: Thu, 16 Nov 2023 16:57:58 +0100
Subject: [PATCH] ci: remove pull_request type filter in check-changelog
---
.github/workflows/check-changelog.md | 1 -
1 file changed, 1 deletion(-)
diff --git a/.github/workflows/check-changelog.md b/.github/workflows/check-changelog.md
index 61069be7..42f7bcdb 100644
--- a/.github/workflows/check-changelog.md
+++ b/.github/workflows/check-changelog.md
@@ -1,7 +1,6 @@
name: Check-changelog
on:
pull_request:
- types: [assigned, opened, synchronize, reopened, labeled, unlabeled]
branches:
- devel
jobs:
--
GitLab