Skip to content

Merge pull request #1993 from DeusData/fix/unify-type-short-name-index #3003

Merge pull request #1993 from DeusData/fix/unify-type-short-name-index

Merge pull request #1993 from DeusData/fix/unify-type-short-name-index #3003

Triggered via push September 1, 2026 18:16
Status Success
Total duration 44m 58s
Artifacts

codeql.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
analyze
Cannot build an overlay-base database because build-mode is set to "manual" instead of "none". Falling back to creating a normal full database instead.