Skip to content
GitHub Actions Scan

Open source the CEL formal verification framework #338

Sign in to view logs

Open source the CEL formal verification framework

Open source the CEL formal verification framework #338

Triggered via pull request July 18, 2026 04:21
@copybara-servicecopybara-service[bot]
synchronize #1123
Status Success
Total duration 11s
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