Skip to content
Back to pull request #2020

Use Listable to prove equality of registers and opcodes #5849

Sign in to view logs

Use Listable to prove equality of registers and opcodes

Use Listable to prove equality of registers and opcodes #5849

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build on no_std target (thumbv7em-none-eabi)
13s
test-rust
2m 24s
test-rust-check-all
5s
2m 42s