Skip to content

Actions: fonsp/Pluto.jl

Bundle Web Assets

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
944 workflow runs
944 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🚦Slider warning messages when requests encounter problems
Bundle Web Assets #904: Pull request #2613 opened by ctrekker
July 17, 2023 17:56 2m 44s cb/slider-server-status
July 17, 2023 17:56 2m 44s
🐝 Fix #2518
Bundle Web Assets #902: Commit 9c052d3 pushed by fonsp
July 17, 2023 16:23 2m 45s main
July 17, 2023 16:23 2m 45s
popup: warn type
Bundle Web Assets #901: Commit 0071ec1 pushed by fonsp
July 17, 2023 16:01 2m 37s main
July 17, 2023 16:01 2m 37s
Experimental JS API for getting/setting cell metadata (#2612)
Bundle Web Assets #900: Commit c80464d pushed by fonsp
July 17, 2023 14:57 2m 51s main
July 17, 2023 14:57 2m 51s
css tweak
Bundle Web Assets #898: Commit 2cc4e44 pushed by fonsp
July 17, 2023 13:56 2m 47s main
July 17, 2023 13:56 2m 47s
💁📩 Support publish_to_js inside logs (#2607)
Bundle Web Assets #894: Commit c569adf pushed by fonsp
July 17, 2023 08:19 2m 43s main
July 17, 2023 08:19 2m 43s
💁📩 Support publish_to_js inside logs
Bundle Web Assets #893: Pull request #2607 synchronize by fonsp
July 16, 2023 17:44 32m 52s publish_to_js-inside-logs
July 16, 2023 17:44 32m 52s
ExEx: Track function calls in assignment lhs. (#2604)
Bundle Web Assets #890: Commit f76efd4 pushed by fonsp
July 16, 2023 17:18 30m 0s main
July 16, 2023 17:18 30m 0s
🚦Slider server running status (#2601)
Bundle Web Assets #889: Commit a5c3227 pushed by fonsp
July 16, 2023 17:17 2m 48s main
July 16, 2023 17:17 2m 48s
💁📩 Support publish_to_js inside logs
Bundle Web Assets #888: Pull request #2607 opened by fonsp
July 16, 2023 15:10 2m 48s publish_to_js-inside-logs
July 16, 2023 15:10 2m 48s
Linebreaks with small spacing in Firefox
Bundle Web Assets #887: Pull request #2605 opened by dorn-gerhard
July 15, 2023 13:02 2m 48s dorn-gerhard:patch-1
July 15, 2023 13:02 2m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-07-15 or the other filters available.