Skip to content
Linter

Use ZArith-based representations for numbers and bitvectors #1235

Sign in to view logs

Use ZArith-based representations for numbers and bitvectors

Use ZArith-based representations for numbers and bitvectors #1235

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check indentation (1.8.1)
3m 43s
Check style
5m 35s
9m 18s