Skip to content

Actions: PlutoLang/plutolang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #288: by github-pages bot
24s gh-pages
gh-pages
24s
Fix typo'd link Github Pages #291: Commit b4e9221 pushed by Sainan
1m 8s main
main
1m 8s
pages build and deployment pages-build-deployment #287: by github-pages bot
24s gh-pages
gh-pages
24s
pages build and deployment pages-build-deployment #286: by github-pages bot
23s gh-pages
gh-pages
23s
Fix typo'd link Github Pages #290: Commit f0525d4 pushed by Sainan
1m 5s main
main
1m 5s
npm update Github Pages #289: Commit 9434f27 pushed by Sainan
1m 4s main
main
1m 4s
pages build and deployment pages-build-deployment #285: by github-pages bot
23s gh-pages
gh-pages
23s
Expand upon the introduction using some points from Pluto's readme (#65) Github Pages #288: Commit e785120 pushed by Sainan
1m 5s main
main
1m 5s
Less space-y Github Pages #287: Commit abe2a7b pushed by Sainan
22s main
main
22s
pages build and deployment pages-build-deployment #284: by github-pages bot
1m 43s gh-pages
gh-pages
1m 43s
Note that scheduler.add returns the created coroutine Github Pages #286: Commit 68af54e pushed by Sainan
1m 4s main
main
1m 4s
pages build and deployment pages-build-deployment #283: by github-pages bot
23s gh-pages
gh-pages
23s
Improve explanation on scheduler snippet Github Pages #285: Commit 6f51fab pushed by Sainan
1m 3s main
main
1m 3s
pages build and deployment pages-build-deployment #282: by github-pages bot
25s gh-pages
gh-pages
25s
Document bindings Github Pages #284: Commit 72eebff pushed by well-in-that-case
1m 8s main
main
1m 8s
pages build and deployment pages-build-deployment #281: by github-pages bot
45s gh-pages
gh-pages
45s
Remove the landing page, redirect to "What is Pluto?" page instead Github Pages #283: Commit b8f6741 pushed by well-in-that-case
1m 4s main
main
1m 4s
pages build and deployment pages-build-deployment #280: by github-pages bot
23s gh-pages
gh-pages
23s
Note pluto-websocket is no longer client-only Github Pages #282: Commit 42217ae pushed by Sainan
1m 7s main
main
1m 7s
pages build and deployment pages-build-deployment #279: by github-pages bot
33s gh-pages
gh-pages
33s
Fix dead link Github Pages #281: Commit 5cfbbc1 pushed by Sainan
1m 9s main
main
1m 9s
pages build and deployment pages-build-deployment #278: by github-pages bot
25s gh-pages
gh-pages
25s
Fix dead link Github Pages #280: Commit 358efae pushed by Sainan
1m 5s main
main
1m 5s
pages build and deployment pages-build-deployment #277: by github-pages bot
23s gh-pages
gh-pages
23s
Document pluto-zip Github Pages #279: Commit 0ebd8b4 pushed by Sainan
1m 7s main
main
1m 7s