Skip to content

chore: bump UI to 4.25.0#4468

Merged
lorenzo-cavazzi merged 3 commits into
release-2.18.0from
lorenzo/ui-4.25.0
Jun 3, 2026
Merged

chore: bump UI to 4.25.0#4468
lorenzo-cavazzi merged 3 commits into
release-2.18.0from
lorenzo/ui-4.25.0

Conversation

@lorenzo-cavazzi
Copy link
Copy Markdown
Member

@lorenzo-cavazzi lorenzo-cavazzi commented Jun 2, 2026

Update UI offcanvas to match the latest design

/deploy

@lorenzo-cavazzi lorenzo-cavazzi marked this pull request as ready for review June 2, 2026 10:54
@lorenzo-cavazzi lorenzo-cavazzi requested review from a team as code owners June 2, 2026 10:54
@RenkuBot
Copy link
Copy Markdown
Collaborator

RenkuBot commented Jun 2, 2026

You can access the deployment of this PR at https://ci-renku-4468.dev.renku.ch

Copy link
Copy Markdown
Member

@leafty leafty left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks OK

@lorenzo-cavazzi lorenzo-cavazzi enabled auto-merge (squash) June 3, 2026 13:09
@lorenzo-cavazzi lorenzo-cavazzi merged commit d63c483 into release-2.18.0 Jun 3, 2026
31 of 32 checks passed
@lorenzo-cavazzi lorenzo-cavazzi deleted the lorenzo/ui-4.25.0 branch June 3, 2026 13:29
@RenkuBot
Copy link
Copy Markdown
Collaborator

RenkuBot commented Jun 3, 2026

Tearing down the temporary RenkuLab deployment for this PR.

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.

3 participants