So, Hatari's workflow, which has "50 */6 * * *", should trigger, for example, at 12:50 UTC = 14:50 CEST. However, scheduled workflows can be delayed, depending on the load of the runners at GitHub. Probably this is why you saw it running at about 15:00 CEST.
Regards
Christian
Gesendet: Mittwoch, 17. April 2024 um 15:04 Uhr
Von: "Nicolas Pomarède" <npomarede@xxxxxxxxxxxx>
An: hatari-devel@xxxxxxxxxxxxxxxxxxx
Betreff: Re: [hatari-devel] deprecation warning in .github/workflows/repo-sync.yml
Le 17/04/2024 à 14:12, Thorsten Otto a écrit :
> On Mittwoch, 17. April 2024 12:14:44 CEST Christian Zietz wrote:
>> Then again, switching to the latest "checkout" Action is an easy and
>> painless change
>
> Sure. Just did the same for all freemint repos (although i did not see any
> deprecation warning yet)
>
> Still a bit annoying.
By the way, it is possible to know the local time on the github side ?
for example hatari's github does a checkout of the main tree every 6
hours and I see the latest pull was at 15h00 (france local time). Is
there a log somewhere on github to see their "internal" date/time ?