Skip to content

Actions: rikhuijzer/PlutoStaticHTML.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
423 workflow runs
423 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #767: Scheduled
May 18, 2024 04:01 10m 19s main
May 18, 2024 04:01 10m 19s
CI
CI #766: Scheduled
May 15, 2024 04:01 9m 46s main
May 15, 2024 04:01 9m 46s
CI
CI #765: Scheduled
May 11, 2024 04:01 10m 6s main
May 11, 2024 04:01 10m 6s
pages build and deployment
pages-build-deployment #112: by github-pages bot
May 8, 2024 10:39 44s
May 8, 2024 10:39 44s
Update Pluto to 0.19.42 (#191)
Docs #575: Commit 4b23121 pushed by rikhuijzer
May 8, 2024 10:37 1m 57s v6.0.23
May 8, 2024 10:37 1m 57s
TagBot trigger issue
TagBot #303: Issue comment #12 (comment) created by JuliaTagBot
May 8, 2024 10:37 28s
May 8, 2024 10:37 28s
pages build and deployment
pages-build-deployment #111: by github-pages bot
May 8, 2024 10:23 45s
May 8, 2024 10:23 45s
Update Pluto to 0.19.42 (#191)
Docs #574: Commit 4b23121 pushed by rikhuijzer
May 8, 2024 10:19 4m 44s main
May 8, 2024 10:19 4m 44s
Update Pluto to 0.19.42 (#191)
CI #764: Commit 4b23121 pushed by rikhuijzer
May 8, 2024 10:19 9m 59s main
May 8, 2024 10:19 9m 59s
Update Pluto to 0.19.42
CI #763: Pull request #191 opened by rikhuijzer
May 8, 2024 10:08 10m 31s rh/pluto-0.19.42
May 8, 2024 10:08 10m 31s
Update Pluto to 0.19.42
Docs #573: Pull request #191 opened by rikhuijzer
May 8, 2024 10:08 4m 54s rh/pluto-0.19.42
May 8, 2024 10:08 4m 54s
CI
CI #762: Scheduled
May 8, 2024 04:00 10m 10s main
May 8, 2024 04:00 10m 10s
pages build and deployment
pages-build-deployment #110: by github-pages bot
May 6, 2024 10:03 37s
May 6, 2024 10:03 37s
Bump julia-actions/cache from 1 to 2 (#190)
Docs #572: Commit 8509431 pushed by rikhuijzer
May 6, 2024 09:54 8m 50s main
May 6, 2024 09:54 8m 50s
Bump julia-actions/cache from 1 to 2 (#190)
CI #761: Commit 8509431 pushed by rikhuijzer
May 6, 2024 09:54 9m 58s main
May 6, 2024 09:54 9m 58s
CI
CI #759: Scheduled
May 4, 2024 04:01 10m 0s main
May 4, 2024 04:01 10m 0s
CI
CI #758: Scheduled
May 1, 2024 04:01 11m 40s main
May 1, 2024 04:01 11m 40s
CI
CI #757: Scheduled
April 27, 2024 04:01 10m 34s main
April 27, 2024 04:01 10m 34s
CI
CI #756: Scheduled
April 24, 2024 04:01 10m 40s main
April 24, 2024 04:01 10m 40s
CI
CI #755: Scheduled
April 20, 2024 04:01 9m 51s main
April 20, 2024 04:01 9m 51s
CI
CI #754: Scheduled
April 17, 2024 04:01 10m 8s main
April 17, 2024 04:01 10m 8s
pages build and deployment
pages-build-deployment #109: by github-pages bot
April 16, 2024 08:32 44s
April 16, 2024 08:32 44s
Update Pluto to 0.19.41 (#189)
Docs #570: Commit a0251d8 pushed by rikhuijzer
April 16, 2024 08:29 3m 45s v6.0.22
April 16, 2024 08:29 3m 45s