Skip to content
CI

use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling #9394

Sign in to view logs

use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling

use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling #9394

Triggered via pull request November 18, 2024 20:03
@RalfJungRalfJung
opened #4039
RalfJung:root-dir
Status Success
Total duration 24m 37s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
2m 33s
style checks
coverage report
5m 47s
coverage report
conclusion
0s
conclusion
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in