Skip to content

Update prod from main - #761

Merged
fengelniederhammer merged 1 commit into
prodfrom
main
Jul 22, 2025
Merged

Update prod from main#761
fengelniederhammer merged 1 commit into
prodfrom
main

Conversation

@github-actions

Copy link
Copy Markdown

This pull request updates the prod branch with the latest changes from the main branch.

Make sure to merge this creating a merge commit.

Do not squash-merge this PR. Do not rebase and merge.

…o variant is selected (#760)

* fix(website): add download button to single variants page even when no variant is selected

resolves #745

* fixup! fix(website): add download button to single variants page even when no variant is selected
@fengelniederhammer
fengelniederhammer merged commit 1c82b1c into prod Jul 22, 2025
17 of 18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant