Skip to content

ci: Use changes and build-tools from PyPI - #37

Merged
jbmorley merged 1 commit into
mainfrom
jbmorley/tooling-refresh
Aug 8, 2026
Merged

ci: Use changes and build-tools from PyPI#37
jbmorley merged 1 commit into
mainfrom
jbmorley/tooling-refresh

Conversation

@jbmorley

@jbmorley jbmorley commented Aug 8, 2026

Copy link
Copy Markdown
Collaborator

This change also updates environment.sh and install-dependencies.sh to better-isolate local tooling and dependencies.

This change also updates environment.sh and install-dependencies.sh to better-isolate local tooling and dependencies.
@jbmorley
jbmorley merged commit 386b2c4 into main Aug 8, 2026
3 checks passed
@jbmorley
jbmorley deleted the jbmorley/tooling-refresh branch August 8, 2026 02:07
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