Rename file pluto.jl to about_pluto.jl #34
Triggered via pull request
September 22, 2024 10:52
terasakisatoshi
Status
Success
Total duration
1m 22s
Artifacts
–
ExportPluto.yaml
on: pull_request
build-and-deploy
1m 13s