Skip to content
Test

Rename "kernel image" to "vmlinux" #2528

Sign in to view logs

Rename "kernel image" to "vmlinux"

Rename "kernel image" to "vmlinux" #2528

Triggered via pull request February 4, 2025 21:44
@danielocfbdanielocfb
opened #981
d-e-s-o:topic/vmlinux
Status Success
Total duration 3m 37s
Artifacts 1

test.yml

on: pull_request
Matrix: build-cross
Matrix: build
Matrix: test-sanitizers
Build using minimum versions of dependencies
24s
Build using minimum versions of dependencies
No-op rebuilds
1m 22s
No-op rebuilds
Test with release build
2m 16s
Test with release build
Test with Miri
2m 12s
Test with Miri
Test examples
1m 50s
Test examples
Check generated C header
34s
Check generated C header
Lint with clippy
1m 23s
Lint with clippy
Check code formatting
10s
Check code formatting
Generate documentation
36s
Generate documentation
build-linux-kernel  /  Build Linux
4s
build-linux-kernel / Build Linux
Build test artifacts
0s
Build test artifacts
Benchmark
0s
Benchmark
Test and coverage
2m 27s
Test and coverage
Matrix: test-partly-supported
required-checks
0s
required-checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
linux-kernel
3.81 MB