Skip to content

Bump the 'pete' dependency to a more recent version.#88

Merged
travitch merged 1 commit intotravitch:masterfrom
aschwerdfeger-galois:update-pete-0.13
Oct 24, 2025
Merged

Bump the 'pete' dependency to a more recent version.#88
travitch merged 1 commit intotravitch:masterfrom
aschwerdfeger-galois:update-pete-0.13

Conversation

@aschwerdfeger-galois
Copy link
Copy Markdown
Contributor

This updates the version of pete used in the build to 0.13. I gave the version built with the new pete a brief sanity check with one of Taphos's example tests and it worked as expected.

@travitch travitch merged commit b09ae88 into travitch:master Oct 24, 2025
2 checks passed
@travitch
Copy link
Copy Markdown
Owner

Thanks!

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.

2 participants