Skip to content

Conversation

chr-hertel
Copy link
Member

For now this would fix our pipeline here by pinning a working version instead of always relying on the latest one.

Unblocks pipeline for #97.

@chr-hertel chr-hertel merged commit f0807f1 into main Oct 6, 2025
12 checks passed
@chr-hertel chr-hertel deleted the pin-inspector branch October 6, 2025 22:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Server Issues & PRs related to the Server component
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants