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 the Time Types Orderable #1916

Merged
merged 2 commits into from
Aug 2, 2021
Merged

Make the Time Types Orderable #1916

merged 2 commits into from
Aug 2, 2021

Conversation

iamrecursion
Copy link
Contributor

Pull Request Description

As it says on the tin. No idea how this was missing.

Important Notes

N/A

Checklist

Please include the following checklist in your PR:

  • The documentation has been updated if necessary.
  • All code conforms to the Scala, Java, and Rust style guides.
  • All documentation and configuration conforms to the markdown and YAML style guides.
  • All code has been tested where possible.

@iamrecursion iamrecursion added Type: Enhancement p-highest Should be completed ASAP labels Aug 2, 2021
@iamrecursion iamrecursion requested a review from 4e6 August 2, 2021 12:54
@iamrecursion iamrecursion self-assigned this Aug 2, 2021
@iamrecursion iamrecursion merged commit 4e9043c into main Aug 2, 2021
@iamrecursion iamrecursion deleted the wip/ara/time-ordering branch August 2, 2021 14:10
iamrecursion added a commit that referenced this pull request Aug 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
p-highest Should be completed ASAP
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants