Skip to content

Actions: chiefmonk/klm-algorithms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Updated Fly Deploy #64: Commit 5dcf8ff pushed by chiefmonk
2m 1s main
main
2m 1s
Updated localised logic Fly Deploy #63: Commit 310dea3 pushed by chiefmonk
1m 27s main
main
1m 27s
Updated code Fly Deploy #62: Commit abb91e6 pushed by chiefmonk
1m 47s main
main
1m 47s
Updated Fly Deploy #61: Commit 250c56b pushed by chiefmonk
1m 53s main
main
1m 53s
Updated Fly Deploy #60: Commit ea9f2bf pushed by chiefmonk
1m 49s main
main
1m 49s
Updated comments Fly Deploy #59: Commit 0ee0a08 pushed by chiefmonk
1m 29s main
main
1m 29s
Updated core Fly Deploy #58: Commit 9064ed2 pushed by chiefmonk
1m 31s main
main
1m 31s
Updated some tests and related Fly Deploy #57: Commit 4f957f5 pushed by chiefmonk
1m 42s main
main
1m 42s
Updated core Fly Deploy #56: Commit d760cf1 pushed by chiefmonk
1m 16s main
main
1m 16s
Updated core Fly Deploy #55: Commit 90d7590 pushed by chiefmonk
1m 19s main
main
1m 19s
Updated core Fly Deploy #54: Commit 18af490 pushed by chiefmonk
1m 34s main
main
1m 34s
Updated comments Fly Deploy #53: Commit 8c303ad pushed by chiefmonk
1m 47s main
main
1m 47s
Updated RC functionality Fly Deploy #52: Commit 7614535 pushed by chiefmonk
1m 44s main
main
1m 44s
Updated core Fly Deploy #51: Commit 9034b5c pushed by chiefmonk
1m 32s main
main
1m 32s
Updated core functionality Fly Deploy #50: Commit 65eaa95 pushed by chiefmonk
1m 23s main
main
1m 23s
Updated code comments and related Fly Deploy #49: Commit f18c2d8 pushed by chiefmonk
1m 44s main
main
1m 44s
Updated core Fly Deploy #48: Commit 492535b pushed by chiefmonk
1m 35s main
main
1m 35s
Cleaned up some unused functionality Fly Deploy #47: Commit 132fedf pushed by chiefmonk
1m 50s main
main
1m 50s
Updated logic Fly Deploy #46: Commit aaebeb3 pushed by chiefmonk
1m 41s main
main
1m 41s
Updated libraries to the latest Fly Deploy #45: Commit bac16f4 pushed by chiefmonk
1m 52s main
main
1m 52s
Update core functionality Fly Deploy #44: Commit e2db635 pushed by chiefmonk
1m 41s main
main
1m 41s
Updated basic and minimal closure results Fly Deploy #43: Commit 7dd0e77 pushed by chiefmonk
1m 34s main
main
1m 34s
Updated display of entailment algorithm outputs Fly Deploy #42: Commit cb250de pushed by chiefmonk
1m 39s main
main
1m 39s
Added code comments and related features Fly Deploy #41: Commit a99d7b8 pushed by chiefmonk
1m 43s main
main
1m 43s
Updated reasoning logic for LexC Fly Deploy #40: Commit f26e199 pushed by chiefmonk
1m 50s main
main
1m 50s