Skip to content

CI: remove binder update step as it is already handled by dependabot#406

Merged
volkm merged 1 commit into
stormchecker:masterfrom
volkm:ci_release
May 29, 2026
Merged

CI: remove binder update step as it is already handled by dependabot#406
volkm merged 1 commit into
stormchecker:masterfrom
volkm:ci_release

Conversation

@volkm
Copy link
Copy Markdown
Contributor

@volkm volkm commented May 29, 2026

No description provided.

@volkm volkm merged commit b43cfd0 into stormchecker:master May 29, 2026
22 checks passed
@volkm volkm deleted the ci_release branch May 29, 2026 16:41
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