Skip to content

Update syntax of workflow to work with updated actions/github-script@v9#133

Merged
daarende merged 1 commit into
masterfrom
fix_binder
Jul 15, 2026
Merged

Update syntax of workflow to work with updated actions/github-script@v9#133
daarende merged 1 commit into
masterfrom
fix_binder

Conversation

@daarende

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

Copy link
Copy Markdown

Binder 👈 Launch a binder notebook on this branch

@daarende
daarende merged commit 9996e21 into master Jul 15, 2026
6 of 7 checks passed
@daarende
daarende deleted the fix_binder branch July 15, 2026 06:42
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