Skip to content

Actions: toaq/kuna

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
486 workflow runs
486 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #130: by github-pages bot
May 13, 2024 13:16 30s
May 13, 2024 13:16 30s
Fix "Bad arity 4" Automation #140: Commit 52f0d82 pushed by lynn
May 13, 2024 13:15 49s main
main
May 13, 2024 13:15 49s
pages build and deployment pages-build-deployment #129: by github-pages bot
May 13, 2024 11:37 33s
May 13, 2024 11:37 33s
Render arrows for V-to-𝘷-to-Asp-to-T movement Automation #139: Commit 19cbd67 pushed by lynn
May 13, 2024 11:36 1m 1s main
main
May 13, 2024 11:36 1m 1s
add subcommand for printing denot'n; impl kdl mode Automation #138: Commit 084df43 pushed by uakci
May 12, 2024 20:31 42s kdl-denote-do-we-want-this
kdl-denote-do-we-want-this
May 12, 2024 20:31 42s
cli: add tree-kdl subcommand Automation #137: Pull request #6 synchronize by uakci
May 12, 2024 20:12 35s kdl
kdl
May 12, 2024 20:12 35s
cli: add tree-kdl subcommand Automation #136: Commit 02762ab pushed by uakci
May 12, 2024 20:12 35s kdl
kdl
May 12, 2024 20:12 35s
cli: add tree-kdl subcommand Automation #135: Pull request #6 synchronize by uakci
May 12, 2024 20:09 41s kdl
kdl
May 12, 2024 20:09 41s
modes/kdl: kdlNode: recurse into children Automation #134: Commit 7c84852 pushed by uakci
May 12, 2024 20:09 52s kdl
kdl
May 12, 2024 20:09 52s
cli: add tree-kdl subcommand Automation #133: Pull request #6 opened by uakci
May 12, 2024 18:09 44s kdl
kdl
May 12, 2024 18:09 44s
cli: add tree-kdl subcommand Automation #132: Commit 9682728 pushed by uakci
May 12, 2024 18:02 39s kdl
kdl
May 12, 2024 18:02 39s
pages build and deployment pages-build-deployment #128: by github-pages bot
May 10, 2024 14:40 31s
May 10, 2024 14:40 31s
Update README Automation #131: Commit a122deb pushed by lynn
May 10, 2024 14:39 47s main
main
May 10, 2024 14:39 47s
pages build and deployment pages-build-deployment #127: by github-pages bot
May 10, 2024 12:09 33s
May 10, 2024 12:09 33s
Fix path to favicon Automation #130: Commit 5e3ab01 pushed by lynn
May 10, 2024 12:09 46s main
main
May 10, 2024 12:09 46s
pages build and deployment pages-build-deployment #126: by github-pages bot
May 10, 2024 12:07 33s
May 10, 2024 12:07 33s
New favicon Automation #129: Commit 079133e pushed by lynn
May 10, 2024 12:06 1m 6s main
main
May 10, 2024 12:06 1m 6s
fix build-data.ts script Automation #128: Commit 8084146 pushed by lynn
May 10, 2024 11:40 44s main
main
May 10, 2024 11:40 44s
pages build and deployment pages-build-deployment #125: by github-pages bot
May 10, 2024 11:37 22s
May 10, 2024 11:37 22s
Fix npm run codegen Automation #127: Commit 8d291bb pushed by lynn
May 10, 2024 11:36 46s main
main
May 10, 2024 11:36 46s
Make a src/syntax subdirectory Automation #126: Commit 74bf71d pushed by lynn
May 10, 2024 11:34 28s main
main
May 10, 2024 11:34 28s
Sort src/ into subdirectories Automation #125: Commit 1c4b3df pushed by lynn
May 10, 2024 10:51 29s main
main
May 10, 2024 10:51 29s
pages build and deployment pages-build-deployment #124: by github-pages bot
May 9, 2024 22:00 31s
May 9, 2024 22:00 31s
Allow trimming denoted trees Automation #124: Commit b1d4e02 pushed by lynn
May 9, 2024 22:00 49s main
main
May 9, 2024 22:00 49s
pages build and deployment pages-build-deployment #123: by github-pages bot
May 9, 2024 20:32 31s
May 9, 2024 20:32 31s