Merge branch 'main' into bug6170

Axel Uhl commited 2025-10-24 11:32:54 +0200 commit ba3437d9c750bad1939ad62e5f43dcb57f0d9bf0

				.github/workflows/release.yml
			
          @@ -184,7 +184,7 @@ jobs:

                     asset_name: release-notes.txt

                     asset_content_type: text/plain

                 - name: Trigger Hudson job

          -        if: ${{ always() && secrets.HUDSON_JOB_USERNAME != '' && secrets.HUDSON_JOB_PASSWORD != '' && secrets.HUDSON_JOB_TOKEN != '' }}

          +        if: ${{ always() && (secrets.HUDSON_JOB_USERNAME != '' && secrets.HUDSON_JOB_PASSWORD != '' && secrets.HUDSON_JOB_TOKEN != '') }}

                   shell: bash

                   run: |

                     if [ "${{ github.ref }}" = "refs/heads/main" ]; then

...	...	@@ -184,7 +184,7 @@ jobs:
184	184	asset_name: release-notes.txt
185	185	asset_content_type: text/plain
186	186	- name: Trigger Hudson job
187		- if: ${{ always() && secrets.HUDSON_JOB_USERNAME != '' && secrets.HUDSON_JOB_PASSWORD != '' && secrets.HUDSON_JOB_TOKEN != '' }}
	187	+ if: ${{ always() && (secrets.HUDSON_JOB_USERNAME != '' && secrets.HUDSON_JOB_PASSWORD != '' && secrets.HUDSON_JOB_TOKEN != '') }}
188	188	shell: bash
189	189	run: \|
190	190	if [ "${{ github.ref }}" = "refs/heads/main" ]; then