Skip to content

Actions: PlutoLang/plutolang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #291: by github-pages bot
June 11, 2025 11:26 22s gh-pages
gh-pages
June 11, 2025 11:26 22s
Merge pull request #67 from PlutoLang/0.11.1 Github Pages #295: Commit 43f3fd0 pushed by Sainan
June 11, 2025 11:25 1m 12s main
main
June 11, 2025 11:25 1m 12s
pages build and deployment pages-build-deployment #290: by github-pages bot
June 6, 2025 21:39 22s gh-pages
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
gh-pages
June 2, 2025 09:56 23s