Setup GitLab mirror (#78)

* Correct condition

* Add mirror to push changes to GitLab public branch

* Remove dead link

* Correct push command

.github/workflows/deploy.yml

@@ -76,3 +76,18 @@ jobs:
         shell: bash
         env:
           GH_TOKEN: ${{ github.token }}
+
+  Mirror:
+    if: github.repository == 'gyselax/gyselalibxx'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+      - name: Update GitLab
+        run: |
+          git remote add gitlab https://ci_bot:${GITLAB_PAT}@gitlab.maisondelasimulation.fr/gysela-developpers/gyselalibxx.git
+          git fetch gitlab public
+          git push gitlab main:public
+        shell: bash
+        env:
+          GITLAB_PAT: ${{secrets.GITLAB_PAT}}

.github/workflows/tests.yml

@@ -44,7 +44,7 @@ jobs:
       toolchain: ${{ matrix.toolchain }}
       merge_target: ${{ github.event.pull_request.base.sha || github.event.merge_group.base_sha }}
       pr_number: ${{ github.event.pull_request.number }}
-      is_duplicate: ${{ needs.pre_job.outputs.should_skip != 'true' && github.event.pull_request.draft == false }}
+      is_duplicate: ${{ needs.pre_job.outputs.should_skip == 'true' && github.event.pull_request.draft == false }}
 
   gpu_tests:
     name: GPU Test
@@ -55,7 +55,7 @@ jobs:
       merge_target: ${{ github.event.pull_request.base.sha || github.event.merge_group.base_sha }}
       SHA: ${{ github.event.pull_request.head.sha }}
       pr_number: ${{ github.event.pull_request.number }}
-      is_duplicate: ${{ needs.pre_job.outputs.should_skip != 'true' && github.event.pull_request.draft == false }}
+      is_duplicate: ${{ needs.pre_job.outputs.should_skip == 'true' && github.event.pull_request.draft == false }}
     secrets: inherit
 
   set_draft_failing: