Skip to content

Output binaries workflow decisions to summary#14333

Merged
Siedlerchr merged 1 commit into
mainfrom
output-conditions
Nov 17, 2025
Merged

Output binaries workflow decisions to summary#14333
Siedlerchr merged 1 commit into
mainfrom
output-conditions

Conversation

@koppor

@koppor koppor commented Nov 16, 2025

Copy link
Copy Markdown
Member

Follow-up to #14331

Uses the summary functionality of GitHub workflows to output the decisions.

Steps to test

Check the summary of the binary workflow.

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • [/] I manually tested my changes in running JabRef (always required)
  • [/] I added JUnit tests for changes (if applicable)
  • [/] I added screenshots in the PR description (if change is visible to the user)
  • [/] I described the change in CHANGELOG.md in a way that is understandable for the average user (if change is visible to the user)
  • [/] I checked the user documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request updating file(s) in https://github.com/JabRef/user-documentation/tree/main/en.

@koppor

koppor commented Nov 16, 2025

Copy link
Copy Markdown
Member Author

Output if no binaries are chosen:

grafik

@koppor koppor added the dev: binaries Binary builds should be uploaded to builds.jabref.org label Nov 16, 2025
@koppor

koppor commented Nov 16, 2025

Copy link
Copy Markdown
Member Author

Output if enough binaries and enough disk space:

grafik

@koppor koppor added status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers and removed dev: binaries Binary builds should be uploaded to builds.jabref.org labels Nov 16, 2025
@Siedlerchr

Copy link
Copy Markdown
Member

Cool

@Siedlerchr Siedlerchr added this pull request to the merge queue Nov 17, 2025
Merged via the queue into main with commit 88c13af Nov 17, 2025
68 of 90 checks passed
@Siedlerchr Siedlerchr deleted the output-conditions branch November 17, 2025 05:34
Siedlerchr added a commit that referenced this pull request Nov 17, 2025
* upstream/main:
  Add smoke tests (#14338)
  Clean up packages in JabKit (#14335)
  Output binaries workflow decisions to summary (#14333)
  New translations jabref_en.properties (Portuguese, Brazilian) (#14332)
  Check for disk space only once (#14331)
  Chore(deps): Bump org.glassfish.jersey.core:jersey-server from 3.1.11 to 4.0.0 in /versions (#14305)
merlinymy pushed a commit to merlinymy/jabref that referenced this pull request Nov 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dev: ci-cd status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants