Skip to content

Remove artifacts that should not be published#41

Merged
lisajulia merged 2 commits into
mainfrom
remove-artifacts-that-should-not-be-published
Jul 1, 2026
Merged

Remove artifacts that should not be published#41
lisajulia merged 2 commits into
mainfrom
remove-artifacts-that-should-not-be-published

Conversation

@lisajulia

Copy link
Copy Markdown
Contributor

No description provided.

@lisajulia lisajulia force-pushed the remove-artifacts-that-should-not-be-published branch from 720b8e8 to 54f9ec7 Compare July 1, 2026 15:10
@lisajulia lisajulia merged commit a16aa95 into main Jul 1, 2026
6 checks passed
@busehalis-sap busehalis-sap deleted the remove-artifacts-that-should-not-be-published branch July 1, 2026 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants