Skip to content

Update devbox, remove go tools #2343

Update devbox, remove go tools

Update devbox, remove go tools #2343

Triggered via pull request October 16, 2025 15:13
@AshleyDumaineAshleyDumaine
synchronize #922
Status Success
Total duration 20s
Artifacts

pr-labeler.yml

on: pull_request_target
Update PR labels
16s
Update PR labels
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Update PR labels
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update PR labels
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update PR labels
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update PR labels
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)