fix: some fixes to the docker setup #76

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

Open

wesleytodd wants to merge 1 commit into main from more-fixes

Member

wesleytodd commented Nov 28, 2025

Assorted fixes to the docker runner:

fixed rebuilding the containers
added support for running against a local registry proxy
fixed some paths that had been broken in the refactor


          fix: some fixes to the docker setup

9fc5d28

wesleytodd requested a review from a team

November 28, 2025 14:42

github-project-automation bot added this to Perf WG Tooling

UlisesGascon approved these changes

View reviewed changes

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

Labels

None yet