Skip to content
seL4Bench-PR

use KernelFWholeProgram on RISC-V also #106

Sign in to view logs

use KernelFWholeProgram on RISC-V also

use KernelFWholeProgram on RISC-V also #106

Triggered via pull request April 18, 2024 11:58
@axel-haxel-h
labeled #48
Status Cancelled
Total duration 3s
Artifacts –

sel4bench-pr.yml

on: pull_request_target
Freeze Code
Freeze Code
Matrix: Build
Waiting for pending jobs
Matrix: HW Run
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
seL4Bench-PR
Canceling since a higher priority waiting request for 'seL4Bench-PR-pr-48' exists