Skip to content

Actions: PlutoLang/plutolang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow run results
14 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #111: by github-pages bot
November 8, 2023 08:10 36s gh-pages
gh-pages
November 8, 2023 08:10 36s
Fix dead link Github Pages #113: Commit bbd4b32 pushed by Sainan
November 8, 2023 08:08 1m 41s main
main
November 8, 2023 08:08 1m 41s
pages build and deployment pages-build-deployment #110: by github-pages bot
October 9, 2023 19:19 32s gh-pages
gh-pages
October 9, 2023 19:19 32s
Unregister "in" as an operator since this syntax highlighter doesn't … Github Pages #112: Commit 482ca45 pushed by well-in-that-case
October 9, 2023 19:17 1m 44s main
main
October 9, 2023 19:17 1m 44s
pages build and deployment pages-build-deployment #109: by github-pages bot
October 9, 2023 04:28 32s gh-pages
gh-pages
October 9, 2023 04:28 32s
Fix improper syntax highlighting for in expressions Github Pages #111: Commit 76ee603 pushed by well-in-that-case
October 9, 2023 04:27 1m 42s main
main
October 9, 2023 04:27 1m 42s
pages build and deployment pages-build-deployment #108: by github-pages bot
October 8, 2023 20:51 41s gh-pages
gh-pages
October 8, 2023 20:51 41s
Improve table.contains doc Github Pages #110: Commit a2738c2 pushed by well-in-that-case
October 8, 2023 20:50 1m 37s main
main
October 8, 2023 20:50 1m 37s
pages build and deployment pages-build-deployment #107: by github-pages bot
September 29, 2023 02:25 39s gh-pages
gh-pages
September 29, 2023 02:25 39s
Do away with "Soup Extensions" and instead document things directly (… Github Pages #109: Commit 7c9d4eb pushed by well-in-that-case
September 29, 2023 02:23 1m 41s main
main
September 29, 2023 02:23 1m 41s
pages build and deployment pages-build-deployment #106: by github-pages bot
September 12, 2023 12:26 1m 48s gh-pages
gh-pages
September 12, 2023 12:26 1m 48s
Improve introduction Github Pages #108: Commit 5503912 pushed by well-in-that-case
September 12, 2023 12:24 1m 43s main
main
September 12, 2023 12:24 1m 43s
pages build and deployment pages-build-deployment #105: by github-pages bot
September 8, 2023 03:58 32s gh-pages
gh-pages
September 8, 2023 03:58 32s
Merge pull request #22 from mna/patch-1 Github Pages #107: Commit b6f07ee pushed by Sainan
September 8, 2023 03:57 1m 32s main
main
September 8, 2023 03:57 1m 32s