Make checker trace more JSON-ish #1194
ranjitjhalaci.yml
on: pull_request
fixpoint
4s
rustfmt
29s
clippy
2m 4s
Annotations
1 error and 2 warnings
|
rustfmt
Process completed with exit code 1.
|
|
the following explicit lifetimes could be elided: 'a:
crates/flux-refineck/src/type_env.rs#L891
warning: the following explicit lifetimes could be elided: 'a
--> crates/flux-refineck/src/type_env.rs:891:16
|
891 | pub fn new<'a>(env: &TypeEnv<'a>) -> Self {
| ^^ ^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_lifetimes
= note: `#[warn(clippy::needless_lifetimes)]` on by default
help: elide the lifetimes
|
891 - pub fn new<'a>(env: &TypeEnv<'a>) -> Self {
891 + pub fn new(env: &TypeEnv<'_>) -> Self {
|
|
|
consider adding a `;` to the last statement for consistent formatting:
crates/flux-infer/src/refine_tree.rs#L807
warning: consider adding a `;` to the last statement for consistent formatting
--> crates/flux-infer/src/refine_tree.rs:807:21
|
807 | exprs.push(format!("{e:?}"))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `exprs.push(format!("{e:?}"));`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#semicolon_if_nothing_returned
= note: requested on the command line with `-W clippy::semicolon-if-nothing-returned`
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fixpoint
|
6.53 MB |
|