Skip to content

Actions: JuliaPluto/featured

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Pluto version Export Pluto notebooks #71: Commit 3da0bc7 pushed by fonsp
December 14, 2023 12:39 2m 43s main
main
December 14, 2023 12:39 2m 43s
Update Pluto version Update Pluto version #7: Manually run by fonsp
December 14, 2023 12:37 2m 31s main
main
December 14, 2023 12:37 2m 31s
Update UpdatePluto.yml: allow setting version number instead of SHA Export Pluto notebooks #70: Commit 5b3556e pushed by fonsp
December 14, 2023 12:36 2m 51s main
main
December 14, 2023 12:36 2m 51s
Ciphers + optimisation tutorial (#21) Export Pluto notebooks #69: Commit f72fbbe pushed by fonsp
December 14, 2023 12:10 7m 47s main
main
December 14, 2023 12:10 7m 47s
Licensing (#36) Export Pluto notebooks #68: Commit 1a0cd38 pushed by fonsp
December 14, 2023 10:38 37m 9s main
main
December 14, 2023 10:38 37m 9s
Keep caches fresh Keep caches fresh #23: Scheduled
December 13, 2023 04:23 17s main
main
December 13, 2023 04:23 17s
Keep caches fresh Keep caches fresh #22: Scheduled
December 9, 2023 04:22 11s main
main
December 9, 2023 04:22 11s
Keep caches fresh Keep caches fresh #21: Scheduled
December 5, 2023 04:23 11s main
main
December 5, 2023 04:23 11s
Merge pull request #20 from JuliaPluto/update/interactivity Export Pluto notebooks #67: Commit 50195fe pushed by lukavdplas
December 3, 2023 11:25 35m 37s main
main
December 3, 2023 11:25 35m 37s
Keep caches fresh Keep caches fresh #20: Scheduled
December 1, 2023 04:23 11s main
main
December 1, 2023 04:23 11s
Keep caches fresh Keep caches fresh #19: Scheduled
November 29, 2023 04:23 13s main
main
November 29, 2023 04:23 13s
Keep caches fresh Keep caches fresh #18: Scheduled
November 25, 2023 04:22 12s main
main
November 25, 2023 04:22 12s
Keep caches fresh Keep caches fresh #17: Scheduled
November 21, 2023 04:23 16s main
main
November 21, 2023 04:23 16s
Keep caches fresh Keep caches fresh #16: Scheduled
November 17, 2023 04:23 12s main
main
November 17, 2023 04:23 12s
Keep caches fresh Keep caches fresh #15: Scheduled
November 13, 2023 04:22 11s main
main
November 13, 2023 04:22 11s
Keep caches fresh Keep caches fresh #14: Scheduled
November 9, 2023 04:22 12s main
main
November 9, 2023 04:22 12s
Images tutorial (#19) Export Pluto notebooks #66: Commit c47eb1d pushed by fonsp
November 8, 2023 13:07 9m 27s main
main
November 8, 2023 13:07 9m 27s