Update Bazel pin, ignore build-* directories #2461

Merged
armandomontanez merged 1 commit from exclude-cmake-build-dirs-bazel into develop 2025-05-29 08:25:46 -05:00
armandomontanez commented 2025-05-09 12:14:26 -05:00 (Migrated from github.com)

Updates the Bazel pin to 8.1.0 so that build-* directories can be properly ignored.

Updates the Bazel pin to 8.1.0 so that build-* directories can be properly ignored.
kilograham (Migrated from github.com) approved these changes 2025-05-29 08:25:40 -05:00
Sign in to join this conversation.
No reviewers
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-raspberrypi/pico-sdk!2461
No description provided.