Skip to content

Actions: rikhuijzer/PlutoStaticHTML.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
385 workflow runs
385 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Pluto to 0.20.0 CI #839: Pull request #202 opened by rikhuijzer
October 14, 2024 16:45 6m 57s rh/pluto-0.20
rh/pluto-0.20
October 14, 2024 16:45 6m 57s
Update Pluto to 0.20.0 Docs #611: Pull request #202 opened by rikhuijzer
October 14, 2024 16:45 7m 32s rh/pluto-0.20
rh/pluto-0.20
October 14, 2024 16:45 7m 32s
github_actions in /. - Update #900333421 Dependabot Updates #13: by dependabot bot
October 14, 2024 07:42 41s main
main
October 14, 2024 07:42 41s
CI CI #838: Scheduled
October 12, 2024 04:01 10m 20s main
main
October 12, 2024 04:01 10m 20s
pages build and deployment pages-build-deployment #130: by github-pages bot
October 10, 2024 18:00 40s docs-output
docs-output
October 10, 2024 18:00 40s
Set version to 7.0.0 Docs #610: Commit 58675b0 pushed by rikhuijzer
October 10, 2024 17:57 3m 2s v7.0.0
v7.0.0
October 10, 2024 17:57 3m 2s
TagBot trigger issue TagBot #315: Issue comment #12 (comment) created by JuliaTagBot
October 10, 2024 17:57 33s
October 10, 2024 17:57 33s
pages build and deployment pages-build-deployment #129: by github-pages bot
October 10, 2024 17:49 40s docs-output
docs-output
October 10, 2024 17:49 40s
pages build and deployment pages-build-deployment #128: by github-pages bot
October 10, 2024 17:39 53s docs-output
docs-output
October 10, 2024 17:39 53s
Set version to 7.0.0 Docs #609: Commit 58675b0 pushed by rikhuijzer
October 10, 2024 17:39 10m 45s main
main
October 10, 2024 17:39 10m 45s
Set version to 7.0.0 CI #837: Commit 58675b0 pushed by rikhuijzer
October 10, 2024 17:39 10m 41s main
main
October 10, 2024 17:39 10m 41s
Update Pluto to 0.19.47 (#201) Docs #608: Commit a0d73ff pushed by rikhuijzer
October 10, 2024 17:29 10m 46s main
main
October 10, 2024 17:29 10m 46s
Update Pluto to 0.19.47 (#201) CI #836: Commit a0d73ff pushed by rikhuijzer
October 10, 2024 17:29 11m 1s main
main
October 10, 2024 17:29 11m 1s
Update Pluto to 0.19.47 CI #835: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:13 10m 5s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:13 10m 5s
Update Pluto to 0.19.47 Docs #607: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:13 2m 36s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:13 2m 36s
Update Pluto to 0.19.47 Docs #606: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:05 10m 15s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:05 10m 15s
Update Pluto to 0.19.47 CI #834: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:05 2m 25s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:05 2m 25s
Update Pluto to 0.19.47 CI #833: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:03 10m 21s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:03 10m 21s
Update Pluto to 0.19.47 Docs #605: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:03 10m 29s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:03 10m 29s
Update Pluto to 0.19.47 CI #832: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:03 10m 3s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:03 10m 3s
Update Pluto to 0.19.47 Docs #604: Pull request #201 synchronize by rikhuijzer
October 10, 2024 17:03 10m 22s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:03 10m 22s
Update Pluto to 0.19.47 Docs #603: Pull request #201 opened by rikhuijzer
October 10, 2024 17:02 10m 13s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:02 10m 13s
Update Pluto to 0.19.47 CI #831: Pull request #201 opened by rikhuijzer
October 10, 2024 17:02 6m 48s rh/pluto-0.19.47
rh/pluto-0.19.47
October 10, 2024 17:02 6m 48s
CI CI #830: Scheduled
October 9, 2024 04:01 17m 38s main
main
October 9, 2024 04:01 17m 38s
github_actions in /. - Update #896700652 Dependabot Updates #12: by dependabot bot
October 7, 2024 07:16 33s main
main
October 7, 2024 07:16 33s