From f3532a804e51171e409a70f17fc903fd591beba4 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Thu, 7 Dec 2023 12:14:47 +0100
Subject: [PATCH] CI: skip duplicated workflow

---
 .github/workflows/ci.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 71a962d..cd9a0ff 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,7 +8,21 @@ env:
   OPAMJOBS: 2
 
 jobs:
+  pre_job:
+    name: Check for Duplicates Jobs
+    runs-on: ubuntu-20.04
+    outputs:
+      should_skip: ${{ steps.skip_check.outputs.should_skip }}
+    steps:
+    - uses: fkirc/skip-duplicate-actions@v5
+      id: skip_check
+      with:
+        concurrent_skipping: 'same_content_newer'
+        skip_after_successful_duplicate: 'true'
+
   easycrypt:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     name: Compile & Cache EasyCrypt
     runs-on: ubuntu-20.04
     container: