Rename file pluto.jl to about_pluto.jl #10
Triggered via pull request
September 22, 2024 10:52
terasakisatoshi
Status
Success
Total duration
5m 56s
Artifacts
–