Added comments to trigger another CI

Parallel-in-Time · Jan 3, 2024 · db0d086 · db0d086
1 parent 49ed6f0
commit db0d086
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci_pipeline.yml b/.github/workflows/ci_pipeline.yml
@@ -42,8 +42,10 @@ jobs:
     needs:
       - lint
     steps:
+      # First checkout
       - name: Checkout
         uses: actions/checkout@v1
+      # Then mirror
       - name: Mirror
         uses: jakob-fritz/github2lab_action@Iss35_mirror_pr
         env: