Scheduled workflows offsetted due to US Daylight Savings

This past weekend in the US was where clocks were set an hour back becasue of Daylight savings, but it seems to have skew’d when things happpen. For instance, I had a workflow trigger at 8AM EDT every Monday, which as GitHub uses UTC for the time, it would be 12PM UTC which is what is seen below.

on:
  schedule:
    - cron: "0 12 * * 1"

That said, it triggered this morning at 7AM due to the switch where ET is now UTC-5. Is there something needed to be done internally at GitHub to resolve this or would it be just another task to manually change the schedule fields back and forth as we do for DST?