Skip to content

Rename UserMeta getters #2083

Rename UserMeta getters

Rename UserMeta getters #2083

Triggered via push August 27, 2024 20:09
Status Success
Total duration 12m 17s
Artifacts 2

test.yml

on: push
build-linux-kernel  /  Build Linux
4s
build-linux-kernel / Build Linux
Build test artifacts for Windows
43s
Build test artifacts for Windows
Build using minimum versions of dependencies
30s
Build using minimum versions of dependencies
No-op rebuilds
1m 7s
No-op rebuilds
Test with release build
2m 57s
Test with release build
Test with Miri
2m 1s
Test with Miri
Test examples
1m 23s
Test examples
Check generated C header
47s
Check generated C header
Benchmark
12m 4s
Benchmark
Lint with clippy
1m 0s
Lint with clippy
Check code formatting
12s
Check code formatting
Generate documentation
57s
Generate documentation
Matrix: build-cross
Matrix: build
Matrix: test-sanitizers
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
linux-kernel
2.92 MB
test-stable-addrs
146 KB