Skip to content

Hotfix rewriteRun of #2713 which merged prematurely due to bug in #2725 #5011

Hotfix rewriteRun of #2713 which merged prematurely due to bug in #2725

Hotfix rewriteRun of #2713 which merged prematurely due to bug in #2725 #5011

Triggered via push November 18, 2025 18:56
Status Success
Total duration 5m 12s
Artifacts
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Analyze (javascript)
1 issue was detected with this workflow: git checkout HEAD^2 is no longer necessary. Please remove this step as Code Scanning recommends analyzing the merge commit for best results.
Analyze (java)
1 issue was detected with this workflow: git checkout HEAD^2 is no longer necessary. Please remove this step as Code Scanning recommends analyzing the merge commit for best results.