Merge remote-tracking branch 'origin/main' into kmt_2echelon4Diss

matsim-vsp · Nov 25, 2024 · 4a604f7 · 4a604f7
2 parents aed7ada + c931692
commit 4a604f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/GithubActionsCI_maven.yml b/.github/workflows/GithubActionsCI_maven.yml
@@ -8,7 +8,7 @@ on:
     branches-ignore:
       - 'master' # no need to run after merging to master
       - 'main' # no need to run after merging to main; main is the "new" master
-    pull_request:
+  pull_request:
 
 jobs:
   build_and_test: