@@ -82,10 +82,13 @@ jobs:
8282 fi
8383
8484 if [[ "${{ inputs.eaJdk }}" == "true" ]]; then
85- echo "JDK EA build enabled"
86- echo "🚀 eaJdk=true" >> "$GITHUB_OUTPUT"
85+ echo "🚀 JDK EA build enabled"
86+ echo "🚀 JDK EA build enabled" >> "$GITHUB_STEP_SUMMARY"
87+ echo "eaJdk=true" >> "$GITHUB_OUTPUT"
8788 else
88- echo "🛡️ eaJdk=true" >> "$GITHUB_OUTPUT"
89+ echo "🛡️ JDK stable version used"
90+ echo "🛡️ JDK stable version used" >> "$GITHUB_STEP_SUMMARY"
91+ echo "eaJdk=true" >> "$GITHUB_OUTPUT"
8992 fi
9093
9194 if [ -z "$BUILDJABREFPRIVATEKEY" ]; then
@@ -363,8 +366,7 @@ jobs:
363366 compression-level : 0 # no compression
364367 # endregion
365368
366- comment-on-pr :
367- name : Comment on PR
369+ comment-on-issue-and-pr :
368370 # separate job, because it should wait until all binaries are available
369371 needs : [conditions, build]
370372 if : ${{ (github.event_name == 'pull_request') && (needs.conditions.outputs.upload-to-builds-jabref-org == 'true') }}
@@ -377,14 +379,8 @@ jobs:
377379 The build of this PR is available at <https://builds.jabref.org/pull/${{ github.event.pull_request.number }}/merge>.
378380 comment-tag : download-link
379381 mode : recreate
380-
381- comment-on-issue :
382- name : Comment on issue
383- # separate job, because it should wait until all binaries are available
384- needs : [conditions, build]
385- if : ${{ (github.event_name == 'pull_request') && (needs.conditions.outputs.upload-to-builds-jabref-org == 'true') }}
386- runs-on : ubuntu-latest
387- steps :
382+ - name : Create GitHub Summary
383+ run : echo "The build of this PR is available at <https://builds.jabref.org/pull/${{ github.event.pull_request.number }}/merge>." >> "$GITHUB_STEP_SUMMARY"
388384 - name : echo PR data
389385 run : |
390386 echo "PR Number: ${{ github.event.pull_request.number }}"
0 commit comments