Add --run to CI

cadet · Oct 23, 2023 · 208d7cd · 208d7cd
1 parent 3358b7d
commit 208d7cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push_ci.yml b/.github/workflows/push_ci.yml
@@ -37,4 +37,4 @@ jobs:
           activate-environment: cadet_workshop
       - name: Generate teaching and solution branches
         run: |
-          python ./workshop_git_tools/process_repo.py --commit --push
+          python ./workshop_git_tools/process_repo.py --commit --run --push