Skip to content

Merge branch 'lukas/gh/maint-pin-github-actions' into maint #491

Merge branch 'lukas/gh/maint-pin-github-actions' into maint

Merge branch 'lukas/gh/maint-pin-github-actions' into maint #491

Triggered via push November 13, 2024 12:54
Status Success
Total duration 49s
Artifacts 1
schedule-scan
0s
schedule-scan
scan-pr  /  osv-scan
39s
scan-pr / osv-scan
Matrix: run-scheduled-scan
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
SARIF file
355 Bytes