Skip to content

Actions: toaq/kuna

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
501 workflow runs
501 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Imagine that incorporated objects move to end up under V Automation #158: Commit 4d22fd3 pushed by robintown
May 23, 2024 04:40 50s main
main
May 23, 2024 04:40 50s
pages build and deployment pages-build-deployment #137: by github-pages bot
May 23, 2024 00:53 27s
May 23, 2024 00:53 27s
Add a CLI option to use compact event notation Automation #157: Commit 7192824 pushed by robintown
May 23, 2024 00:52 52s main
main
May 23, 2024 00:52 52s
Fetch linearizations in web UI Automation #156: Commit 819c7b7 pushed by lynn
May 22, 2024 22:49 55s gf
gf
May 22, 2024 22:49 55s
Start a GF (https://www.grammaticalframework.org/) output mode Automation #155: Commit 89dae60 pushed by lynn
May 22, 2024 21:54 35s gf
gf
May 22, 2024 21:54 35s
Remind myself what predicate abstraction still gets wrong Automation #154: Commit 291e8a0 pushed by robintown
May 22, 2024 16:04 59s main
main
May 22, 2024 16:04 59s
Fix type errors Automation #153: Commit bb84167 pushed by robintown
May 15, 2024 15:21 51s main
main
May 15, 2024 15:21 51s
pages build and deployment pages-build-deployment #136: by github-pages bot
May 15, 2024 01:05 29s
May 15, 2024 01:05 29s
Checkbox to show movement Automation #152: Commit 2b0ecef pushed by lynn
May 15, 2024 01:04 50s main
main
May 15, 2024 01:04 50s
pages build and deployment pages-build-deployment #135: by github-pages bot
May 15, 2024 00:59 23s
May 15, 2024 00:59 23s
Allow specifying labels to turn into roofs Automation #151: Commit 24958cb pushed by lynn
May 15, 2024 00:58 1m 0s main
main
May 15, 2024 00:58 1m 0s
pages build and deployment pages-build-deployment #134: by github-pages bot
May 14, 2024 13:44 28s
May 14, 2024 13:44 28s
Render effects of movement Automation #150: Commit 55f2b94 pushed by lynn
May 14, 2024 13:43 48s main
main
May 14, 2024 13:43 48s
pages build and deployment pages-build-deployment #133: by github-pages bot
May 13, 2024 18:38 25s
May 13, 2024 18:38 25s
Merge pull request #6 from toaq/kdl Automation #149: Commit 9914b49 pushed by uakci
May 13, 2024 18:38 52s main
main
May 13, 2024 18:38 52s
cli: add tree-kdl subcommand Automation #148: Pull request #6 synchronize by uakci
May 13, 2024 18:19 1m 29s kdl
kdl
May 13, 2024 18:19 1m 29s
sema/render/json: unwrap quantifier-bound names Automation #147: Commit 72e1889 pushed by uakci
May 13, 2024 18:19 50s kdl
kdl
May 13, 2024 18:19 50s
cli: add tree-kdl subcommand Automation #146: Pull request #6 synchronize by uakci
May 13, 2024 18:10 51s kdl
kdl
May 13, 2024 18:10 51s
sema/render: parameterize, add json mode + pprint Automation #145: Commit ebe0bc0 pushed by uakci
May 13, 2024 18:10 43s kdl
kdl
May 13, 2024 18:10 43s
cli: add tree-kdl subcommand Automation #144: Pull request #6 synchronize by uakci
May 13, 2024 18:05 47s kdl
kdl
May 13, 2024 18:05 47s
sema/render: parameterize, add json mode + pprint Automation #143: Commit 508e3f8 pushed by uakci
May 13, 2024 18:05 43s kdl
kdl
May 13, 2024 18:05 43s
pages build and deployment pages-build-deployment #132: by github-pages bot
May 13, 2024 13:31 26s
May 13, 2024 13:31 26s
Don't try to draw arrows into trimmed nulls Automation #142: Commit bd12d4c pushed by lynn
May 13, 2024 13:30 52s main
main
May 13, 2024 13:30 52s
pages build and deployment pages-build-deployment #131: by github-pages bot
May 13, 2024 13:27 24s
May 13, 2024 13:27 24s
Use helper function to find heads more accurately Automation #141: Commit b1cc15a pushed by lynn
May 13, 2024 13:26 57s main
main
May 13, 2024 13:26 57s