revert: restore existing CI push triggers

666a1163a8Julius Marminge committed on 9/21/2026, 5:32:52 AMparent0034b82
1 file changedLine totals unavailable