Bumped to new version of github2lab

that now allows to rerun a GitHub-Action and triggers a rerun of the Gitlab-CI. It now also properly triggers a enw Gitlab-CI when running a scheduled Github-Workflow
Parallel-in-Time · Jul 30, 2024 · 30775da · 30775da
1 parent 8976bbb
commit 30775da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gitlab_ci.yml b/.github/workflows/gitlab_ci.yml
@@ -106,7 +106,7 @@ jobs:
           echo "Merge the two parts of the Merge-Request to test the resulting version"
           git merge "${{ github.event.pull_request.head.sha }}"
       - name: Mirror and wait for Gitlab-CI
-        uses: jakob-fritz/github2lab_action@v0.7
+        uses: jakob-fritz/github2lab_action@v0.8
         env:
           MODE: 'all'  # Either 'mirror', 'get_status', 'get_artifact', or 'all'
           GITLAB_TOKEN: ${{ secrets.GITLAB_SECRET }}