From 840d3f99edaeed964783c98990a051fc7e30e586 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: