search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 3 forks source link

fix: downgrade import #20

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

datetime.UTC was only added on Python 3.11, while the workflow running is using an older version. It is an alias for datetime.timezone.utc, so use that instead.