Skip to content

Merge branch 'maint' into master #2430

Merge branch 'maint' into master

Merge branch 'maint' into master #2430

Triggered via push February 12, 2025 14:43
Status Success
Total duration 42s
Artifacts 1
schedule-scan
0s
schedule-scan
scan-pr  /  osv-scan
32s
scan-pr / osv-scan
Matrix: run-scheduled-scan
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
SARIF file
353 Bytes