Merge remote-tracking branch 'origin/develop' into develop

use force push in publish-report action
2026-09-07 09:38:25 +02:00 · 2026-09-07 09:38:09 +02:00
1 changed files with 1 additions and 1 deletions
@@ -125,4 +125,4 @@ runs:
        git add reports/
        git diff --cached --quiet && echo "No changes" && exit 0
        git commit -m "ci: update test report [skip ci]"
-        git push origin ${{ github.ref_name }}
+        git --force push origin ${{ github.ref_name }}
Author	SHA1	Message	Date
thischwa	d120b42bbe	Merge remote-tracking branch 'origin/develop' into develop Build and Analyse / build-and-analyse (push) Failing after 22s Details	2026-09-07 09:38:25 +02:00
thischwa	1d2e437322	use force push in publish-report action	2026-09-07 09:38:09 +02:00