Skip to content
CodeQL

Feature: merge key for key groups and *make keys unique* #664

Sign in to view logs

Feature: merge key for key groups and *make keys unique*

Feature: merge key for key groups and *make keys unique* #664

Triggered via pull request June 27, 2024 07:25
@felixfonteinfelixfontein
synchronize #1493
jonasbadstuebner:feature-merge-key-groups
Status Success
Total duration 1m 59s
Artifacts –

codeql.yml

on: pull_request
Analyze
1m 49s
Analyze
Fit to window
Zoom out
Zoom in