Skip to content
Linter

Use ZArith-based representations for numbers and bitvectors #1234

Sign in to view logs

Use ZArith-based representations for numbers and bitvectors

Use ZArith-based representations for numbers and bitvectors #1234

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check style
3m 18s
Check indentation (1.8.1)
5m 23s
8m 41s