spec: Refactor votekeeper using quint's new sum types #378
hvanzAnnotations
2 errors and 1 warning
|
Clippy:
itf/tests/votekeeper/runner.rs#L105
error: `assert!(false, ..)` should probably be replaced
--> itf/tests/votekeeper/runner.rs:105:21
|
105 | assert!(false, "actual: {:?}, expected: {:?}", actual, expected)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= help: use `panic!(..)` or `unreachable!(..)`
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#assertions_on_constants
= note: `-D clippy::assertions-on-constants` implied by `-D warnings`
= help: to override `-D warnings` add `#[allow(clippy::assertions_on_constants)]`
|
|
Test
Process completed with exit code 100.
|
|
Clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/clippy@master. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|