From b1864594e694d849858b7b0f890ccfb5105416e6 Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Tue, 2 Jun 2026 10:08:16 +0200 Subject: [PATCH] ci(ci): avoid running build jobs twice on pushes to main It's enough to run the build jobs in the release pipeline, no need to run them on the push event as well. --- .github/workflows/ci.yaml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 4adc48cb2..809c45ddb 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -29,13 +29,6 @@ jobs: CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }} - build: - name: Build - uses: ./.github/workflows/build.yaml - secrets: - CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_AUTH_TOKEN }} - - tag: name: Tag concurrency: @@ -47,7 +40,6 @@ jobs: needs: - docs - test - - build steps: - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 with: