Skip to content
GitHub Actions Scan

Open source the CEL formal verification framework #335

Sign in to view logs

Open source the CEL formal verification framework

Open source the CEL formal verification framework #335

Triggered via pull request July 18, 2026 02:26
@copybara-servicecopybara-service[bot]
opened #1123
Status Success
Total duration 10s
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
zizmor-upload
Fit to window
Zoom out
Zoom in