Skip to content

Conversation

@jeremiahpslewis
Copy link
Member

PR Checklist

  • Update NEWS.md?
  • Unit tests for all structs / functions?
  • Integration and correctness tests using a simple env?
  • PR Review?
  • Add or update documentation?
  • Write docstrings for new methods?

@jeremiahpslewis jeremiahpslewis merged commit 94b5213 into main Jan 13, 2025
10 of 11 checks passed
@jeremiahpslewis jeremiahpslewis deleted the jpsl/plt-extension branch January 13, 2025 12:39
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.

1 participant