Skip to content

Bump Pluto.jl compat to v1#32

Merged
icweaver merged 1 commit into
mainfrom
pluto-v1
May 27, 2026
Merged

Bump Pluto.jl compat to v1#32
icweaver merged 1 commit into
mainfrom
pluto-v1

Conversation

@abhro
Copy link
Copy Markdown
Member

@abhro abhro commented May 27, 2026

No description provided.

@abhro abhro requested a review from icweaver May 27, 2026 16:52
github-actions Bot pushed a commit that referenced this pull request May 27, 2026
@icweaver icweaver merged commit eda8cea into main May 27, 2026
3 checks passed
@icweaver icweaver deleted the pluto-v1 branch May 27, 2026 21:15
github-actions Bot added a commit that referenced this pull request May 27, 2026
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.

2 participants