revert: restore existing CI push triggers

9e7fe7384dJulius Marminge committed on 9/18/2026, 12:50:16 AM· committed by Julius Marmingeparent1fb7784
1 file changedLine totals unavailable