fix the do_fault_reply_transfer position bug #253
Huzhiwen1208test.yaml
on: push
Matrix: sel4-test-mcs
Matrix: sel4-test
Matrix: test-build
Annotations
5 errors and 87 warnings
|
sel4-test-mcs (qemu-arm-virt)
Process completed with exit code 1.
|
|
sel4-test-mcs (spike)
The job was canceled because "qemu-arm-virt" failed.
|
|
sel4-test-mcs (spike)
The operation was canceled.
|
|
sel4-test (qemu-arm-virt)
The action 'simulate' has timed out after 2 minutes.
|
|
sel4-test (spike)
The action 'simulate' has timed out after 2 minutes.
|
|
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: `convert_to_option_mut_type_ref`
|
|
test-build (aarch64, OFF)
the item `ksReadyQueues` is imported redundantly
|
|
test-build (aarch64, OFF)
unused import: `notification_t`
|
|
test-build (aarch64, OFF)
unused import: `thread_state_func`
|
|
test-build (aarch64, OFF)
unused import: `core::intrinsics::likely`
|
|
test-build (aarch64, OFF)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
test-build (aarch64, OFF)
unused imports: `thread_control_caps_update_fault`, `thread_control_caps_update_ipc_buffer`, `thread_control_caps_update_space`
|
|
test-build (aarch64, OFF)
unused import: `OFFSET_TO_FREE_IDNEX`
|
|
test-build (aarch64, OFF)
unused imports: `convert_to_option_mut_type_ref`, `convert_to_option_type_ref`
|
|
test-build (aarch64, OFF)
unused import: `ThreadState`
|
|
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: `convert_to_option_mut_type_ref`
|
|
test-build (riscv64, OFF)
the item `ksReadyQueues` is imported redundantly
|
|
test-build (riscv64, OFF)
unused import: `notification_t`
|
|
test-build (riscv64, OFF)
unused import: `thread_state_func`
|
|
test-build (riscv64, OFF)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
test-build (riscv64, OFF)
unused imports: `thread_control_caps_update_fault`, `thread_control_caps_update_ipc_buffer`, `thread_control_caps_update_space`
|
|
test-build (riscv64, OFF)
unused import: `OFFSET_TO_FREE_IDNEX`
|
|
test-build (riscv64, OFF)
unused imports: `convert_to_option_mut_type_ref`, `convert_to_option_type_ref`
|
|
test-build (riscv64, OFF)
unused import: `ThreadState`
|
|
test-build (riscv64, OFF)
function `OFFSET_TO_FREE_IDNEX` is never used
|
|
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: `convert_to_option_mut_type_ref`
|
|
test-build (riscv64, ON)
the item `ksReadyQueues` is imported redundantly
|
|
test-build (riscv64, ON)
unused import: `notification_t`
|
|
test-build (riscv64, ON)
unused import: `thread_state_func`
|
|
test-build (riscv64, ON)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
test-build (riscv64, ON)
unused imports: `thread_control_caps_update_fault`, `thread_control_caps_update_ipc_buffer`, `thread_control_caps_update_space`
|
|
test-build (riscv64, ON)
unused import: `OFFSET_TO_FREE_IDNEX`
|
|
test-build (riscv64, ON)
unused imports: `convert_to_option_mut_type_ref`, `convert_to_option_type_ref`
|
|
test-build (riscv64, ON)
unused import: `ThreadState`
|
|
test-build (riscv64, ON)
function `OFFSET_TO_FREE_IDNEX` is never used
|
|
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: `convert_to_option_mut_type_ref`
|
|
test-build (aarch64, ON)
the item `ksReadyQueues` is imported redundantly
|
|
test-build (aarch64, ON)
unused import: `notification_t`
|
|
test-build (aarch64, ON)
unused import: `thread_state_func`
|
|
test-build (aarch64, ON)
unused import: `core::intrinsics::likely`
|
|
test-build (aarch64, ON)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
test-build (aarch64, ON)
unused imports: `thread_control_caps_update_fault`, `thread_control_caps_update_ipc_buffer`, `thread_control_caps_update_space`
|
|
test-build (aarch64, ON)
unused import: `OFFSET_TO_FREE_IDNEX`
|
|
test-build (aarch64, ON)
unused imports: `convert_to_option_mut_type_ref`, `convert_to_option_type_ref`
|
|
test-build (aarch64, ON)
unused import: `ThreadState`
|
|
sel4-test-mcs (qemu-arm-virt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
sel4-test-mcs (qemu-arm-virt)
constant `CONFIGURE_CLK_MAGIC` is never used
|
|
sel4-test-mcs (qemu-arm-virt)
constant `CONFIGURE_CLK_SHIFT` is never used
|
|
sel4-test-mcs (qemu-arm-virt)
unused import: `println`
|
|
sel4-test-mcs (qemu-arm-virt)
unused imports: `cap_reply_cap`, `mdb_node`
|
|
sel4-test-mcs (qemu-arm-virt)
unused import: `cte_insert`
|
|
sel4-test-mcs (qemu-arm-virt)
the item `ksReadyQueues` is imported redundantly
|
|
sel4-test-mcs (qemu-arm-virt)
unused import: `sched_context::sched_context_t`
|
|
sel4-test-mcs (qemu-arm-virt)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (qemu-arm-virt)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (qemu-arm-virt)
unused import: `thread_state_func`
|
|
sel4-test-mcs (spike)
unused import: `println`
|
|
sel4-test-mcs (spike)
unused imports: `cap_reply_cap`, `mdb_node`
|
|
sel4-test-mcs (spike)
unused import: `cte_insert`
|
|
sel4-test-mcs (spike)
the item `ksReadyQueues` is imported redundantly
|
|
sel4-test-mcs (spike)
unused import: `sched_context::sched_context_t`
|
|
sel4-test-mcs (spike)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (spike)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (spike)
unused import: `thread_state_func`
|
|
sel4-test-mcs (spike)
the item `seL4_MinSchedContextBits` is imported redundantly
|
|
sel4-test-mcs (spike)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
sel4-test (qemu-arm-virt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
sel4-test (qemu-arm-virt)
unused import: `convert_to_option_mut_type_ref`
|
|
sel4-test (qemu-arm-virt)
the item `ksReadyQueues` is imported redundantly
|
|
sel4-test (qemu-arm-virt)
unused import: `notification_t`
|
|
sel4-test (qemu-arm-virt)
unused import: `thread_state_func`
|
|
sel4-test (qemu-arm-virt)
unused import: `core::intrinsics::likely`
|
|
sel4-test (qemu-arm-virt)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
sel4-test (qemu-arm-virt)
unused imports: `thread_control_caps_update_fault`, `thread_control_caps_update_ipc_buffer`, `thread_control_caps_update_space`
|
|
sel4-test (qemu-arm-virt)
unused import: `OFFSET_TO_FREE_IDNEX`
|
|
sel4-test (qemu-arm-virt)
unused imports: `convert_to_option_mut_type_ref`, `convert_to_option_type_ref`
|
|
sel4-test (qemu-arm-virt)
unused import: `ThreadState`
|
|
sel4-test (spike)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
sel4-test (spike)
unused import: `convert_to_option_mut_type_ref`
|
|
sel4-test (spike)
the item `ksReadyQueues` is imported redundantly
|
|
sel4-test (spike)
unused import: `notification_t`
|
|
sel4-test (spike)
unused import: `thread_state_func`
|
|
sel4-test (spike)
unused import: `sel4_common::structures_gen::seL4_Fault`
|
|
sel4-test (spike)
unused imports: `thread_control_caps_update_fault`, `thread_control_caps_update_ipc_buffer`, `thread_control_caps_update_space`
|
|
sel4-test (spike)
unused import: `OFFSET_TO_FREE_IDNEX`
|
|
sel4-test (spike)
unused imports: `convert_to_option_mut_type_ref`, `convert_to_option_type_ref`
|
|
sel4-test (spike)
unused import: `ThreadState`
|
|
sel4-test (spike)
function `OFFSET_TO_FREE_IDNEX` is never used
|