CodeQL

Allow for multiple selection in editor #9229

Sign in to view logs

Triggered via pull request June 25, 2024 12:02

jorg-vr

opened #5640

enhance/multiple-selection

Status Success

Total duration 1m 15s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: Analyze