CodeQL

#3521: Add API to set an initially highlighted entity after navigation #2433

Sign in to view logs

Triggered via pull request October 9, 2025 06:38

siegfriedpammer

synchronize #3550

fix/3521

Status Success

Total duration 3m 34s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: Analyze