Skip to content

[#1465] remove superfluous deps in gitlab CI #372

[#1465] remove superfluous deps in gitlab CI

[#1465] remove superfluous deps in gitlab CI #372

Triggered via push September 5, 2024 13:09
Status Success
Total duration 3m 17s
Artifacts

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in