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.

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

Fix ppo in truncated #38

Merged
merged 4 commits into from
Dec 9, 2022
Merged

Fix ppo in truncated #38

merged 4 commits into from
Dec 9, 2022

Conversation

sdpkjc
Copy link
Owner

@sdpkjc sdpkjc commented Dec 9, 2022

Description

Refixes #34

Type of change

  • Bug fix (non-breaking change which fixes an issue)

Checklist

  • I have run the pre-commit checks with pre-commit run --all-files
  • I have updated the documentation and previewed the changes via mkdocs serve
  • I have made corresponding changes to the documentation
  • I have added tests that prove my fix is effective or that my feature works
  • New and existing unit tests pass locally with my changes

@vercel
Copy link

vercel bot commented Dec 9, 2022 •
edited
Loading

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated
abcdrl ✅ Ready (Inspect) Visit Preview Dec 9, 2022 at 8:07AM (UTC)

@sdpkjc
Copy link
Owner Author

sdpkjc commented Dec 9, 2022

/approve

@repository-commander
Copy link

Approving changes of this pull_request as requested by @sdpkjc

@sdpkjc sdpkjc merged commit 96374c3 into main Dec 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@repository-commander repository-commander[bot] repository-commander[bot] approved these changes

Assignees
No one assigned
Labels
✨ Merged:
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@sdpkjc