Skip to content
GitHub Actions Scan

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

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 #428

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-changes
4s
zizmor-config
-1s
zizmor-scan
0s
zizmor-output
0s
zizmor-upload
0s
3s