Fix CI: Trigger the CI job when publishing a new GitHub Release (#351)

zio · Sep 25, 2023 · fa6bc1a · fa6bc1a
1 parent 1267c9b
commit fa6bc1a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,8 @@ on:
   push:
     branches:
       - master
+  release:
+    types: [ published ] # Triggers the CI when a new GitHub Release is published
 
 env:
   JAVA_OPTS: -Xms6g -Xmx6g -XX:+UseG1GC