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.

Sign up for GitHub

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

Jump to bottom

Add Ord instance for ThreadToken (fix #157). #159

Merged

1 commit merged into main from threadtoken-ord-instance

Dec 1, 2021

ghost commented Dec 1, 2021

fix #157

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          Add Ord instance for ThreadToken (fix #157).

0c17004

ghost requested review from sjoerdvisscher, silky and j-mueller

December 1, 2021 13:00

silky approved these changes

View reviewed changes

Contributor

silky left a comment

Seems pretty uncontroversial ...

sjoerdvisscher approved these changes

View reviewed changes

ghost merged commit 9c0cf02 into main

ghost deleted the threadtoken-ord-instance branch

December 1, 2021 16:11

This pull request was closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet