Skip to content

Update rules_minidock_tools to v0.0.75 for compression fixes#25

Merged
jklukas merged 1 commit intomainfrom
tools-v0.0.75
Nov 6, 2025
Merged

Update rules_minidock_tools to v0.0.75 for compression fixes#25
jklukas merged 1 commit intomainfrom
tools-v0.0.75

Conversation

@jklukas
Copy link
Copy Markdown
Member

@jklukas jklukas commented Nov 6, 2025

@jklukas jklukas requested a review from eed3si9n November 6, 2025 21:31
@jklukas jklukas merged commit 3943a87 into main Nov 6, 2025
1 check passed
@jklukas jklukas deleted the tools-v0.0.75 branch November 6, 2025 21:33
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