Skip to content
GitHub Actions Scan

Optimize SwitchBuilder to prune dead SMT branches #348

Sign in to view logs

Optimize SwitchBuilder to prune dead SMT branches

Optimize SwitchBuilder to prune dead SMT branches #348

Triggered via pull request July 19, 2026 03:06
@copybara-servicecopybara-service[bot]
opened #1125
Status Success
Total duration 8s
Artifacts –

github_actions_scan.yml Required

on: pull_request_target
check-changes
5s
check-changes
zizmor-config
0s
zizmor-config
zizmor-scan
zizmor-scan
zizmor-output
0s
zizmor-output
zizmor-upload
0s
zizmor-upload
Fit to window
Zoom out
Zoom in