Replaced merc_ldd by the LDD implementation using oxidd#115
Open
mlaveaux wants to merge 6 commits into
Open
Annotations
11 warnings and 1 notice
|
Run cargo clippy for mCRL2 tools:
crates/vpg/src/translate.rs#L463
[clippy] reported by reviewdog 🐶
this function has too many arguments (8/7)
Raw Output:
crates/vpg/src/translate.rs:463:5: warning: this function has too many arguments (8/7) (clippy::too_many_arguments)
|
|
Run cargo clippy for mCRL2 tools:
crates/refinement/src/impossible_futures.rs#L30
[clippy] reported by reviewdog 🐶
very complex type used. Consider factoring parts into `type` definitions
Raw Output:
crates/refinement/src/impossible_futures.rs:30:6: warning: very complex type used. Consider factoring parts into `type` definitions (clippy::type_complexity)
|
|
Run cargo clippy for mCRL2 tools:
crates/refinement/src/failures_refinement.rs#L148
[clippy] reported by reviewdog 🐶
this function has too many arguments (9/7)
Raw Output:
crates/refinement/src/failures_refinement.rs:148:1: warning: this function has too many arguments (9/7) (clippy::too_many_arguments)
|
|
Run cargo clippy for mCRL2 tools
Unexpected input(s) 'working-directory', valid inputs are ['github_token', 'working_directory', 'tool_name', 'level', 'reporter', 'filter_mode', 'fail_on_error', 'reviewdog_flags', 'clippy_flags']
|
|
Run cargo clippy for GUI tools:
crates/vpg/src/translate.rs#L463
[clippy] reported by reviewdog 🐶
this function has too many arguments (8/7)
Raw Output:
crates/vpg/src/translate.rs:463:5: warning: this function has too many arguments (8/7) (clippy::too_many_arguments)
|
|
Run cargo clippy for GUI tools:
crates/refinement/src/impossible_futures.rs#L30
[clippy] reported by reviewdog 🐶
very complex type used. Consider factoring parts into `type` definitions
Raw Output:
crates/refinement/src/impossible_futures.rs:30:6: warning: very complex type used. Consider factoring parts into `type` definitions (clippy::type_complexity)
|
|
Run cargo clippy for GUI tools:
crates/refinement/src/failures_refinement.rs#L148
[clippy] reported by reviewdog 🐶
this function has too many arguments (9/7)
Raw Output:
crates/refinement/src/failures_refinement.rs:148:1: warning: this function has too many arguments (9/7) (clippy::too_many_arguments)
|
|
Run cargo clippy for GUI tools
Unexpected input(s) 'working-directory', valid inputs are ['github_token', 'working_directory', 'tool_name', 'level', 'reporter', 'filter_mode', 'fail_on_error', 'reviewdog_flags', 'clippy_flags']
|
|
Run cargo clippy:
crates/refinement/src/failures_refinement.rs#L148
[clippy] reported by reviewdog 🐶
this function has too many arguments (9/7)
Raw Output:
crates/refinement/src/failures_refinement.rs:148:1: warning: this function has too many arguments (9/7) (clippy::too_many_arguments)
|
|
Run cargo clippy:
crates/vpg/src/translate.rs#L463
[clippy] reported by reviewdog 🐶
this function has too many arguments (8/7)
Raw Output:
crates/vpg/src/translate.rs:463:5: warning: this function has too many arguments (8/7) (clippy::too_many_arguments)
|
|
Run cargo clippy:
crates/refinement/src/impossible_futures.rs#L30
[clippy] reported by reviewdog 🐶
very complex type used. Consider factoring parts into `type` definitions
Raw Output:
crates/refinement/src/impossible_futures.rs:30:6: warning: very complex type used. Consider factoring parts into `type` definitions (clippy::type_complexity)
|
|
Post Setup sccache
0% - 0 hits, 0 misses, 0 errors
|
background
wait
wait-all
cancel
parallel
Loading