JuliaPluto / PlutoUI.jl

https://featured.plutojl.org/basic/plutoui.jl
The Unlicense
299 stars 54 forks source link

chore: allow Hyperscript.jl 0.0.5 #283

Closed pankgeorg closed 5 months ago

pankgeorg commented 5 months ago

Allows using Hyperscript 0.0.5. I hope it's not too much of a breaking change

github-actions[bot] commented 5 months ago

Try this Pull Request!

Open Julia and type:

  julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/JuliaPluto/PlutoUI.jl", rev="pankgeorg-patch-1")
julia> using PlutoUI

Or run this code in your browser: Run with binder

fonsp commented 5 months ago

@JuliaRegistrator register()

JuliaRegistrator commented 5 months ago

Comments on pull requests will not trigger Registrator, as it is disabled. Please try commenting on a commit or issue.

fonsp commented 5 months ago

booooo