Skip to content

Auto merge of #146992 - GuillaumeGomez:improve-highlight, r=<try> #179513

Auto merge of #146992 - GuillaumeGomez:improve-highlight, r=<try>

Auto merge of #146992 - GuillaumeGomez:improve-highlight, r=<try> #179513

Triggered via push October 15, 2025 20:43
Status Success
Total duration 2h 10m 21s
Artifacts

ci.yml

on: push
Calculate job matrix
36s
Calculate job matrix
Matrix: job
bors build finished
14s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
try - dist-x86_64-linux
Saved space is negative: -96. Using '0' as saved space.
try - dist-x86_64-linux
Saved space is negative: -32. Using '0' as saved space.