Merge pull request #120 from ltratt/update_ghmq

Add dummy merge queue job.
softdevteam · Nov 8, 2023 · c3412a6 · c3412a6
2 parents 09a95a3 + 6dbeffc
commit c3412a6
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/sdci.yml b/.github/workflows/sdci.yml
@@ -1,3 +1,11 @@
 on:
   pull_request:
   merge_group:
+
+# This is required to silence emails about the workflow having no jobs.
+# We simply define a dummy job that does nothing much.
+jobs:
+  dummy:
+    runs-on: ubuntu-latest
+    steps:
+      - run: /usr/bin/true