Merge remote-tracking branch 'github/dev' into fix-javadocs-add-typehint

MontiCore · Nov 5, 2024 · 5890094 · 5890094
2 parents 768ff33 + 640f88f
commit 5890094
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/gradle_mc.yml b/.github/workflows/gradle_mc.yml
@@ -137,7 +137,6 @@ jobs:
   trigger-montiverse:
     if: github.event_name == 'pull_request' # only run on PRs
     runs-on: ubuntu-latest
-    needs: [ build-mc ]
     steps:
       - name: Trigger MontiVerse
         uses: digital-blueprint/gitlab-pipeline-trigger-action@v1