From 83bc236638478e0628e7ed2b2b8b6938ef7f7393 Mon Sep 17 00:00:00 2001 From: Jakob Fritz Date: Wed, 3 Jan 2024 13:52:36 +0100 Subject: [PATCH] Another commit to trigger the CI --- .github/workflows/ci_pipeline.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/ci_pipeline.yml b/.github/workflows/ci_pipeline.yml index 3f47c03254..9d768f1948 100644 --- a/.github/workflows/ci_pipeline.yml +++ b/.github/workflows/ci_pipeline.yml @@ -42,10 +42,8 @@ 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: