From f3d301766f4e30cd40c156c095eadb87e781dd39 Mon Sep 17 00:00:00 2001
From: Laurent Cozic <laurent@cozic.net>
Date: Mon, 7 Nov 2022 18:51:14 +0000
Subject: [PATCH] CI: Skip duplicate jobs

---
 .github/workflows/github-actions-main.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/github-actions-main.yml b/.github/workflows/github-actions-main.yml
index fb44f2a95..68799620e 100644
--- a/.github/workflows/github-actions-main.yml
+++ b/.github/workflows/github-actions-main.yml
@@ -15,6 +15,7 @@ jobs:
 
   Main:
     needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
@@ -136,6 +137,7 @@ jobs:
 
   ServerDockerImage:
     needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ${{ matrix.os }}
     strategy:
       matrix: