Skip to content

Actions: PlutoLang/plutolang.github.io

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
214 workflow runs
214 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #290: by github-pages bot
June 6, 2025 21:39 22s gh-pages
June 6, 2025 21:39 22s
Update package.path snippet to be more versatile
Github Pages #294: Commit 3c9f92c pushed by Sainan
June 6, 2025 21:38 1m 13s main
June 6, 2025 21:38 1m 13s
Update package.path snippet to be more versatile
Github Pages #293: Commit 45789df pushed by Sainan
June 6, 2025 21:37 29s main
June 6, 2025 21:37 29s
pages build and deployment
pages-build-deployment #289: by github-pages bot
June 6, 2025 10:29 22s gh-pages
June 6, 2025 10:29 22s
Update LICENSE
Github Pages #292: Commit df23118 pushed by Sainan
June 6, 2025 10:27 1m 11s main
June 6, 2025 10:27 1m 11s
pages build and deployment
pages-build-deployment #288: by github-pages bot
June 4, 2025 09:27 24s gh-pages
June 4, 2025 09:27 24s
Fix typo'd link
Github Pages #291: Commit b4e9221 pushed by Sainan
June 4, 2025 09:26 1m 8s main
June 4, 2025 09:26 1m 8s
pages build and deployment
pages-build-deployment #287: by github-pages bot
June 4, 2025 09:24 24s gh-pages
June 4, 2025 09:24 24s
pages build and deployment
pages-build-deployment #286: by github-pages bot
June 4, 2025 09:23 23s gh-pages
June 4, 2025 09:23 23s
Fix typo'd link
Github Pages #290: Commit f0525d4 pushed by Sainan
June 4, 2025 09:22 1m 5s main
June 4, 2025 09:22 1m 5s
npm update
Github Pages #289: Commit 9434f27 pushed by Sainan
June 4, 2025 09:21 1m 4s main
June 4, 2025 09:21 1m 4s
pages build and deployment
pages-build-deployment #285: by github-pages bot
June 4, 2025 09:13 23s gh-pages
June 4, 2025 09:13 23s
Expand upon the introduction using some points from Pluto's readme (#65)
Github Pages #288: Commit e785120 pushed by Sainan
June 4, 2025 09:12 1m 5s main
June 4, 2025 09:12 1m 5s
Less space-y
Github Pages #287: Commit abe2a7b pushed by Sainan
June 4, 2025 09:11 22s main
June 4, 2025 09:11 22s
pages build and deployment
pages-build-deployment #284: by github-pages bot
June 3, 2025 19:45 1m 43s gh-pages
June 3, 2025 19:45 1m 43s
Note that scheduler.add returns the created coroutine
Github Pages #286: Commit 68af54e pushed by Sainan
June 3, 2025 19:44 1m 4s main
June 3, 2025 19:44 1m 4s
pages build and deployment
pages-build-deployment #283: by github-pages bot
June 3, 2025 19:43 23s gh-pages
June 3, 2025 19:43 23s
Improve explanation on scheduler snippet
Github Pages #285: Commit 6f51fab pushed by Sainan
June 3, 2025 19:42 1m 3s main
June 3, 2025 19:42 1m 3s
pages build and deployment
pages-build-deployment #282: by github-pages bot
June 3, 2025 00:11 25s gh-pages
June 3, 2025 00:11 25s
Document bindings
Github Pages #284: Commit 72eebff pushed by well-in-that-case
June 3, 2025 00:09 1m 8s main
June 3, 2025 00:09 1m 8s
pages build and deployment
pages-build-deployment #281: by github-pages bot
June 3, 2025 00:09 45s gh-pages
June 3, 2025 00:09 45s
Remove the landing page, redirect to "What is Pluto?" page instead
Github Pages #283: Commit b8f6741 pushed by well-in-that-case
June 3, 2025 00:08 1m 4s main
June 3, 2025 00:08 1m 4s
pages build and deployment
pages-build-deployment #280: by github-pages bot
June 2, 2025 09:56 23s gh-pages
June 2, 2025 09:56 23s
Note pluto-websocket is no longer client-only
Github Pages #282: Commit 42217ae pushed by Sainan
June 2, 2025 09:55 1m 7s main
June 2, 2025 09:55 1m 7s
pages build and deployment
pages-build-deployment #279: by github-pages bot
June 2, 2025 00:50 33s gh-pages
June 2, 2025 00:50 33s