Skip to content

Always check GUIPrefs if incline highlighting is on #4500

Always check GUIPrefs if incline highlighting is on

Always check GUIPrefs if incline highlighting is on #4500

Triggered via pull request October 17, 2024 17:24
Status Success
Total duration 5m 35s
Artifacts 1

ci.yml

on: pull_request
Matrix: ci_cd
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
mm-release-tar-gz-temurin-jdk17
465 MB