Skip to content

CI build update#162

Closed
tzaeschke wants to merge 5 commits intomainfrom
fix/160-bazel-updates
Closed

CI build update#162
tzaeschke wants to merge 5 commits intomainfrom
fix/160-bazel-updates

Conversation

@tzaeschke
Copy link
Owner

@tzaeschke tzaeschke commented Feb 5, 2026

See #160.
Based on PR, this PR updates the CI build.
Thanks to @polasek for the original PR.

@tzaeschke tzaeschke self-assigned this Feb 5, 2026
@tzaeschke tzaeschke force-pushed the fix/160-bazel-updates branch from c955cb5 to d88d431 Compare February 5, 2026 15:31
@tzaeschke tzaeschke changed the title bazel updates CI build update Feb 5, 2026
@tzaeschke tzaeschke closed this Feb 5, 2026
@tzaeschke tzaeschke deleted the fix/160-bazel-updates branch February 5, 2026 15:37
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