Clarification of CANCELED/SKIPPED TripUpdates VS NO_SERVICE Alerts#482

Open

isabelle-dr wants to merge 3 commits intogoogle:masterfrom isabelle-dr:RT-alerts

+3-4

Commits on Jul 11, 2024

Add new statements for Alerts
isabelle-dr
committed

Commits on Jul 17, 2024

Specify that only Alerts with effect: no_service can affect trip planner behaviour
isabelle-dr
authored
Include all new statements under the no service effect
isabelle-dr
authored