Skip to content

Actions: krr-up/renopro

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change meta-telingo operator names to long form. Run CI tests #74: Commit 9614a79 pushed by namcsi
June 14, 2024 10:43 2m 10s master
master
June 14, 2024 10:43 2m 10s
Implement reification/reflection of Comment AST. Minor bugfixes. Run CI tests #73: Commit a98ca71 pushed by namcsi
June 14, 2024 10:36 2m 4s master
master
June 14, 2024 10:36 2m 4s
Simplify meta-telingo externals encoding. Add version that rejects co… Run CI tests #72: Commit fa4b98d pushed by namcsi
February 1, 2024 22:49 2m 13s master
master
February 1, 2024 22:49 2m 13s
Add roads example. Run CI tests #71: Commit a56db80 pushed by namcsi
January 30, 2024 17:18 2m 26s master
master
January 30, 2024 17:18 2m 26s
Show all atoms by default, hide everything if #show show. Run CI tests #70: Commit c6db01e pushed by namcsi
January 30, 2024 13:45 2m 23s master
master
January 30, 2024 13:45 2m 23s
Refactor meta.lp to use lambda, and remove bidirectional operators. Run CI tests #69: Commit b69cc64 pushed by namcsi
January 29, 2024 20:49 2m 19s master
master
January 29, 2024 20:49 2m 19s
Change arg parser to allow multiple sequential transformations. Run CI tests #68: Commit 2ef8900 pushed by namcsi
January 28, 2024 22:46 2m 41s master
master
January 28, 2024 22:46 2m 41s
meta-telingo refactor. Strict position ordering, allowing Rawfield. Run CI tests #67: Commit 0a8fc31 pushed by namcsi
January 28, 2024 22:45 2m 7s master
master
January 28, 2024 22:45 2m 7s
Change replace/2 to operate an facts. Implement reachability check. Run CI tests #66: Commit 78eae08 pushed by namcsi
January 28, 2024 19:34 2m 27s master
master
January 28, 2024 19:34 2m 27s
Update todo. Run CI tests #65: Commit 0377651 pushed by namcsi
January 26, 2024 23:26 2m 25s master
master
January 26, 2024 23:26 2m 25s
Typing fixes. Run CI tests #64: Commit 867a346 pushed by namcsi
January 10, 2024 07:46 2m 14s master
master
January 10, 2024 07:46 2m 14s
Fix license. Run CI tests #63: Commit c0cbdf3 pushed by namcsi
December 12, 2023 11:21 1m 50s master
master
December 12, 2023 11:21 1m 50s
Merge with wip theory parsing. Run CI tests #62: Commit 7e58c5e pushed by namcsi
December 7, 2023 14:51 2m 25s master
master
December 7, 2023 14:51 2m 25s
Add wip meta-telingo externals. Run CI tests #61: Commit 19e08e4 pushed by namcsi
November 16, 2023 21:54 1m 55s master
master
November 16, 2023 21:54 1m 55s