Skip to content

update and loosen pinned versions#4

Merged
mathjoha merged 1 commit into
mainfrom
pinning
Jun 3, 2025
Merged

update and loosen pinned versions#4
mathjoha merged 1 commit into
mainfrom
pinning

Conversation

@mathjoha

@mathjoha mathjoha commented Jun 2, 2025

Copy link
Copy Markdown
Member

No description provided.

@mathjoha mathjoha requested a review from raspenskog June 2, 2025 19:41
@mathjoha mathjoha self-assigned this Jun 2, 2025
@mathjoha mathjoha added the 1 Prio 🚀 Prioritise this (and sub issues) over other issues label Jun 2, 2025
@mathjoha mathjoha merged commit de412e5 into main Jun 3, 2025
1 check passed
@mathjoha mathjoha deleted the pinning branch June 3, 2025 07:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

1 Prio 🚀 Prioritise this (and sub issues) over other issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants