Skip to content
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

Make seconds optional in Date-Time and Time #894

Merged
merged 4 commits into from
Jul 30, 2022

Conversation

eksortso
Copy link
Contributor

@eksortso eksortso commented May 3, 2022

Allows the seconds portion of values with Offset Date-Time, Local Date-Time, and Local Time type to be omitted. Closes #671.

This PR replaces the older PR #696, which was written pre-v1.0.0. The exact same changes to the text in the specification and the ABNF appear in both PR's.

@eksortso
Copy link
Contributor Author

eksortso commented May 3, 2022

Can someone tell me what the check is failing on? I have no idea what's going on there.

@marzer
Copy link
Contributor

marzer commented May 3, 2022

@eksortso looks like some sort of CI has been hooked up to the repo but the configuration file it needs is missing. I guess it's a WIP endeavour. Doesn't appear to have anything to do with your commit.

@pradyunsg
Copy link
Member

Hmm... I thought I'd pushed the pre-commit configuration and reformatting stuff. Lemme check what's up.

Copy link
Contributor

@ChristianSi ChristianSi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

CHANGELOG.md Show resolved Hide resolved
toml.md Outdated Show resolved Hide resolved
@eksortso
Copy link
Contributor Author

eksortso commented May 12, 2022

@pradyunsg Looks like we're good to go here. Any word on the pre-commit configuration?

@eksortso
Copy link
Contributor Author

eksortso commented Jun 6, 2022

@pradyunsg It's been awhile. Anything else need done on this?

@pradyunsg
Copy link
Member

@eksortso Looks like you're gonna have to resolve merge conflicts on this one. :)

@eksortso
Copy link
Contributor Author

@pradyunsg Just needed to resolve the changelog. Good to go now. Thanks!

@pradyunsg pradyunsg changed the title Make seconds optional in times (redux) Make seconds optional in Date-Time and Time Jul 30, 2022
@pradyunsg pradyunsg merged commit 7e8a748 into toml-lang:main Jul 30, 2022
@pradyunsg
Copy link
Member

Thanks @eksortso! ^>^

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make seconds optional in Local time
6 participants