add the do reply part #197
ZhiyuanSueAnnotations
7 errors and 29 warnings
|
sel4-test (spike, on)
Process completed with exit code 255.
|
|
sel4-test (qemu-arm-virt, on)
The job was canceled because "spike_on" failed.
|
|
sel4-test (qemu-arm-virt, on)
The operation was canceled.
|
|
sel4-test (qemu-arm-virt, off)
The job was canceled because "spike_on" failed.
|
|
sel4-test (qemu-arm-virt, off)
The operation was canceled.
|
|
sel4-test (spike, off)
The job was canceled because "spike_on" failed.
|
|
sel4-test (spike, off)
The operation was canceled.
|
|
test-build (aarch64, ON)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-build (aarch64, ON)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
test-build (riscv64, OFF)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-build (riscv64, OFF)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
test-build (aarch64, OFF)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-build (aarch64, OFF)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
test-build (riscv64, ON)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-build (riscv64, ON)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
sel4-test (spike, on)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
sel4-test (spike, on)
unused import: `println`
|
|
sel4-test (spike, on)
unnecessary parentheses around `if` condition
|
|
sel4-test (spike, on)
unused imports: `cap_reply_cap`, `mdb_node`
|
|
sel4-test (spike, on)
unused import: `cte_insert`
|
|
sel4-test (spike, on)
unused import: `possible_switch_to`
|
|
sel4-test (spike, on)
unused import: `sched_context::sched_context_t`
|
|
sel4-test (spike, on)
the item `sched_context_t` is imported redundantly
|
|
sel4-test (spike, on)
unused import: `types_gen::seL4_Fault_tag::seL4_Fault_NullFault`
|
|
sel4-test (spike, on)
unused import: `sel4_common::structures_gen::seL4_Fault_NullFault`
|
|
sel4-test (spike, on)
unused variable: `can_grant_reply`
|
|
sel4-test (qemu-arm-virt, on)
constant `CONFIGURE_CLK_MAGIC` is never used
|
|
sel4-test (qemu-arm-virt, on)
constant `CONFIGURE_CLK_SHIFT` is never used
|
|
sel4-test (qemu-arm-virt, on)
unused import: `println`
|
|
sel4-test (qemu-arm-virt, on)
unnecessary parentheses around `if` condition
|
|
sel4-test (qemu-arm-virt, on)
unused imports: `cap_reply_cap`, `mdb_node`
|
|
sel4-test (qemu-arm-virt, on)
unused import: `cte_insert`
|
|
sel4-test (qemu-arm-virt, on)
unused import: `possible_switch_to`
|
|
sel4-test (qemu-arm-virt, on)
unused import: `sched_context::sched_context_t`
|
|
sel4-test (qemu-arm-virt, on)
the item `sched_context_t` is imported redundantly
|
|
sel4-test (qemu-arm-virt, on)
unused import: `types_gen::seL4_Fault_tag::seL4_Fault_NullFault`
|