-
Notifications
You must be signed in to change notification settings - Fork 214
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add support for Date
/ Time
/ TimeZone
#2247
Conversation
… as standardized in dhall-lang/dhall-lang#1191
This reverts commit 09dda13.
This PR also highlights an issue with our GitHub action CI: it doesn't exercise changes to |
@Gabriel439 I don't understand what problem you're describing here. If the |
@sjakobi: You're right. I misdiagnosed the problem. Downstream |
… as standardized in dhall-lang/dhall-lang#1191