From b2d363a0fc90f92e1df6e114e005438db57b0d00 Mon Sep 17 00:00:00 2001 From: KuchtaVR6 Date: Sun, 22 Feb 2026 18:29:37 +0000 Subject: [PATCH] fix: prevent duplicate workflow runs on PR branches - Remove wildcard '**' from push trigger - Push events now only trigger on main/master/develop branches - PR events still trigger on all PRs to main/master/develop - Prevents double runs when pushing to PR branches --- .github/workflows/typecheck.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/typecheck.yml b/.github/workflows/typecheck.yml index 255bd68..c070f1b 100644 --- a/.github/workflows/typecheck.yml +++ b/.github/workflows/typecheck.yml @@ -6,7 +6,6 @@ on: - main - master - develop - - '**' pull_request: branches: - main