Skip to content
pr

Improve highlighting settings #1016

Sign in to view logs

Improve highlighting settings

Improve highlighting settings #1016

Re-run triggered August 20, 2024 04:06
@PhilippusPhilippus
#3136
improve-highlighting-settings
Status Success
Total duration 4m 5s
Artifacts –

pr.yml

on: pull_request
scala-2_12
3m 48s
scala-2_12
scala-2_13
3m 54s
scala-2_13
scala-3
4m 20s
scala-3
Fit to window
Zoom out
Zoom in