Skip to content
seL4Test

riscv/vspace.c: revise comments #3

Sign in to view logs

riscv/vspace.c: revise comments

riscv/vspace.c: revise comments #3

Triggered via push December 9, 2024 07:19
@nspinnspin
pushed 5632069
master
Status Success
Total duration 46m 57s
Artifacts 8

sel4test-deploy.yml

on: push
Freeze Code
11s
Freeze Code
Matrix: HW Build
Matrix: Simulation
Matrix
19s
Matrix
Matrix: HW Run
Deploy manifest
0s
Deploy manifest
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
Freeze Code
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (armv8a, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (armv8a, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (rv32imac, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (rv64imac, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (nehalem, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (rv64imac, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (nehalem, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (rv32imac, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (nehalem, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (rv64imac, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (nehalem, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (armv7a, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (rv64imac, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation (armv7a, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (armv7a, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (armv7a, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (armv8a, gcc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
HW Build (armv8a, clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Matrix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
images-armv7a-clang
65.7 MB
images-armv7a-gcc
72 MB
images-armv8a-clang
202 MB
images-armv8a-gcc
255 MB
images-nehalem-clang
33.6 MB
images-nehalem-gcc
36.9 MB
images-rv64imac-clang
31.3 MB
images-rv64imac-gcc
29.6 MB