Skip to content

Bundle staging PRs#213

Closed
trz42 wants to merge 218 commits intoEESSI:mainfrom
trz42:bundle_staging_prs
Closed

Bundle staging PRs#213
trz42 wants to merge 218 commits intoEESSI:mainfrom
trz42:bundle_staging_prs

Conversation

@trz42
Copy link
Copy Markdown
Contributor

@trz42 trz42 commented Apr 22, 2025

Attempt to bundle tarballs belonging to the same build PR into a single staging PR.

Also adds code linting and a CI check for it.

Draft because

  • it's just a first, likely not final or complete, version
  • needs to be tested

@trz42 trz42 added the enhancement New feature or request label Apr 22, 2025
@trz42
Copy link
Copy Markdown
Contributor Author

trz42 commented Sep 4, 2025

Closing as #232 has been merged.

@trz42 trz42 closed this Sep 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants