Skip to content

Tweak aside width in dashboard#203

Merged
agustinmista merged 1 commit intomainfrom
dashboard-tweak-aside-width
Feb 20, 2026
Merged

Tweak aside width in dashboard#203
agustinmista merged 1 commit intomainfrom
dashboard-tweak-aside-width

Conversation

@agustinmista
Copy link
Collaborator

No description provided.

@agustinmista agustinmista added the dashboard Peras Parameterization Dashboard label Feb 20, 2026
@agustinmista agustinmista added this pull request to the merge queue Feb 20, 2026
Merged via the queue into main with commit f44842f Feb 20, 2026
3 checks passed
@agustinmista agustinmista deleted the dashboard-tweak-aside-width branch February 20, 2026 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dashboard Peras Parameterization Dashboard

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant