Skip to content
GitHub Actions Scan

Replace quantifiers with array extensionality for map bijection in verifier #426

Sign in to view logs

Replace quantifiers with array extensionality for map bijection in verifier

Replace quantifiers with array extensionality for map bijection in verifier #426

Triggered via pull request July 22, 2026 21:11
@copybara-servicecopybara-service[bot]
opened #1132
Status Success
Total duration 21m 20s
Artifacts –

github_actions_scan.yml Required

on: pull_request_target
check-changes
4s
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