fix some bugs #211
Annotations
1 error and 11 warnings
|
Check Result
Process completed with exit code 1.
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build
constant `CONFIGURE_CLK_MAGIC` is never used
|
|
Build
constant `CONFIGURE_CLK_SHIFT` is never used
|
|
Build
unused import: `println`
|
|
Build
unnecessary parentheses around `if` condition
|
|
Build
unused imports: `cap_reply_cap`, `mdb_node`
|
|
Build
unused import: `cte_insert`
|
|
Build
unused import: `sched_context::sched_context_t`
|
|
Build
the item `sched_context_t` is imported redundantly
|
|
Build
the item `reply_t` is imported redundantly
|
|
Build
the item `seL4_MinSchedContextBits` is imported redundantly
|
Loading