Skip to content

Adjust documentation of UserOutput::add_unknown_addr() #1912

Adjust documentation of UserOutput::add_unknown_addr()

Adjust documentation of UserOutput::add_unknown_addr() #1912

Triggered via push July 12, 2024 16:17
Status Success
Total duration 12m 11s
Artifacts

test.yml

on: push
Build using minimum versions of dependencies
2m 21s
Build using minimum versions of dependencies
No-op rebuilds
1m 8s
No-op rebuilds
Test and coverage
3m 1s
Test and coverage
Test with release build
4m 13s
Test with release build
Test with Miri
2m 5s
Test with Miri
Test examples
1m 28s
Test examples
Check generated C header
24s
Check generated C header
Benchmark
12m 0s
Benchmark
Lint with clippy
1m 8s
Lint with clippy
Check code formatting
13s
Check code formatting
Generate documentation
1m 1s
Generate documentation
Matrix: build-cross
Matrix: build
Matrix: test-sanitizers
Fit to window
Zoom out
Zoom in