Details on runner timezone and zoneinfo data

[jenstroeger]

Hello,

I’m looking for information on the timezone and zoneinfo data installed for Ubuntu runners. In particular, I ran into right/UTC, right/America/Costa_Rica, … zone names and can’t find any more information on it 🤔

Thanks heaps!
Jens