Skip to content
GitHub Actions Scan

Optimize SwitchBuilder to prune dead SMT branches #367

Sign in to view logs

Optimize SwitchBuilder to prune dead SMT branches

Optimize SwitchBuilder to prune dead SMT branches #367

Triggered via pull request July 20, 2026 00:54
@copybara-servicecopybara-service[bot]
synchronize #1125
Status Success
Total duration 2h 4m 22s
Artifacts –

github_actions_scan.yml Required

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