seL4Bench

CI: cancel older concurrent PR runs #528

Sign in to view logs

Triggered via push April 9, 2024 23:38

lsf37

master

Status Success

Total duration 2h 57m 11s

Artifacts 14

sel4bench.yml

on: push

Matrix: Build

Matrix: HW Run

Artifacts

Produced during runtime

Name	Size
images-armv7a Expired	14.6 MB
images-armv8a Expired	38.2 MB
images-nehalem Expired	6.91 MB
images-rv64imac Expired	5.54 MB
sel4bench-results-am335x_boneblack Expired	37.3 KB
sel4bench-results-hifive Expired	58.7 KB
sel4bench-results-imx8mm_evk Expired	93 KB
sel4bench-results-odroid_c2 Expired	34.2 KB
sel4bench-results-odroid_xu4 Expired	39.7 KB
sel4bench-results-pc99-haswell3 Expired	160 KB
sel4bench-results-pc99-skylake Expired	163 KB
sel4bench-results-sabre Expired	85.9 KB
sel4bench-results-tx1 Expired	48.3 KB
sel4bench-results-tx2 Expired	52.1 KB