chore: avoid kick off CI when not strictly required (#3505)

This commit is contained in:
Darshan K
2025-07-15 23:22:00 +02:00
committed by GitHub
parent 0830898530
commit d05469fd6d
+2
View File
@@ -80,6 +80,8 @@ jobs:
run: make V=1 QUICK_AND_DIRTY_COMPILER=1 all tools
build-windows:
needs: changes
if: ${{ needs.changes.outputs.v2 == 'true' || needs.changes.outputs.common == 'true' }}
uses: ./.github/workflows/windows-build.yml
with:
branch: ${{ github.ref }}