Skip to content
GitHub Actions Scan

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

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

Run time

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