mirror of
git://git.code.sf.net/p/cdesktopenv/code
synced 2025-02-13 11:42:21 +00:00
eaaa0de74d
Apparently some systems are still configured to use GMT instead of UTC after all. This included our own GitHub CI runner config. Oops. This made the previous commit fail to pass the CI test run. We can't win this one, it's got to be either one or the other. UTC is the international standard on which civil time is based. GMT is often taken as synonymous for UTC, but in navigation, it can differ from UTC by up to 0.9 seconds. Ref.: https://en.wikipedia.org/w/index.php?title=Greenwich_Mean_Time&oldid=963422787 The more ambiguous term should not be the first preference. src/cmd/ksh93/tests/builtins.sh: - Before checking 'printf %T now' output against 'date' output, change any ' GMT ' in the latter to ' UTC '. .github/workflows/ci.yml: - Set time zone to UTC, not GMT. |
||
---|---|---|
.. | ||
workflows |