Skip to content

Respect no-build label in Docker image builds#11333

Merged
zanieb merged 1 commit intomainfrom
zb/docker-skip
Feb 8, 2025
Merged

Respect no-build label in Docker image builds#11333
zanieb merged 1 commit intomainfrom
zb/docker-skip

Conversation

@zanieb
Copy link
Member

@zanieb zanieb commented Feb 7, 2025

e.g., #11329 is runner Docker image builds but should not

@zanieb zanieb added the internal A refactor or improvement that is not user-facing label Feb 7, 2025
@zanieb zanieb enabled auto-merge (squash) February 7, 2025 22:21
@zanieb zanieb merged commit e22ecee into main Feb 8, 2025
78 checks passed
@zanieb zanieb deleted the zb/docker-skip branch February 8, 2025 02:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant