From 14769235524f805495ea2b3fc7c880abd0385b58 Mon Sep 17 00:00:00 2001 From: Dorian Date: Wed, 29 Nov 2023 17:08:57 +0100 Subject: [PATCH] Add workflow name --- .../only-allow-pull-requests-to-master-from-develop | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/only-allow-pull-requests-to-master-from-develop b/.github/workflows/only-allow-pull-requests-to-master-from-develop index 9c1a255..7e79dc1 100644 --- a/.github/workflows/only-allow-pull-requests-to-master-from-develop +++ b/.github/workflows/only-allow-pull-requests-to-master-from-develop @@ -1,3 +1,5 @@ +name: Check that pull request is from develop + on: pull_request: # triggers on open, reopen and synchronize by default branches: ["master"] @@ -11,4 +13,5 @@ on: steps: - name: Fail because the pull request is not from develop - run: exit 1 \ No newline at end of file + run: exit 1 +