Skip to content
GitHub Actions Scan

Introduce timestamp/duration as first class types in verifier. Add arithmetic axioms for the two types along with type conversions #673

Sign in to view logs

Introduce timestamp/duration as first class types in verifier. Add arithmetic axioms for the two types along with type conversions

Introduce timestamp/duration as first class types in verifier. Add arithmetic axioms for the two types along with type conversions #673

Run time

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