Fix page highlighting in sidebar #1430

Triggered via pull request July 16, 2023 19:52

ghys

opened #1967

Status Success

Total duration 8m 7s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-build.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-log-java-17-ubuntu-22.04 Expired	432 KB
sat-summary-report Expired	127 KB