Skip to content

Actions: robsimmons/dusa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
510 workflow runs
510 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change tree operations to not require multiple operations, make datab… Dusa tests #154: Commit 8bf88d8 pushed by robsimmons
November 17, 2024 00:16 21s rewrite
rewrite
November 17, 2024 00:16 21s
In a stunning reversal of fortunes, just always use ints Dusa tests #153: Commit ff3996f pushed by robsimmons
November 14, 2024 23:33 18s rewrite
rewrite
November 14, 2024 23:33 18s
update many dependencies, fix many lint errors Dusa tests #152: Commit 2d384ce pushed by robsimmons
November 14, 2024 22:47 20s rewrite
rewrite
November 14, 2024 22:47 20s
Test cases Dusa tests #151: Commit 0011165 pushed by robsimmons
November 14, 2024 22:05 20s rewrite
rewrite
November 14, 2024 22:05 20s
Update index.md (#60) Check that everything builds correctly #65: Commit 0f95796 pushed by robsimmons
November 14, 2024 15:23 55s main
main
November 14, 2024 15:23 55s
Update index.md (#60) Dusa tests #150: Commit 0f95796 pushed by robsimmons
November 14, 2024 15:23 34s main
main
November 14, 2024 15:23 34s
Update index.md (#60) Submit to coveralls #110: Commit 0f95796 pushed by robsimmons
November 14, 2024 15:23 26s main
main
November 14, 2024 15:23 26s
Push on main CodeQL #150: by robsimmons
November 14, 2024 15:23 1m 40s
November 14, 2024 15:23 1m 40s
PR #60 CodeQL #149: by robsimmons
November 14, 2024 15:20 1m 36s
November 14, 2024 15:20 1m 36s
Update index.md Check that everything builds correctly #64: Pull request #60 opened by robsimmons
November 14, 2024 15:20 49s robsimmons-patch-2
robsimmons-patch-2
November 14, 2024 15:20 49s
Update index.md Dusa tests #149: Commit 125f7fa pushed by robsimmons
November 14, 2024 15:20 26s robsimmons-patch-2
robsimmons-patch-2
November 14, 2024 15:20 26s
Link docs to authors and POPL paper (#59) Submit to coveralls #109: Commit 1305154 pushed by robsimmons
November 14, 2024 14:55 26s main
main
November 14, 2024 14:55 26s
Link docs to authors and POPL paper (#59) Check that everything builds correctly #63: Commit 1305154 pushed by robsimmons
November 14, 2024 14:55 48s main
main
November 14, 2024 14:55 48s
Link docs to authors and POPL paper (#59) Dusa tests #148: Commit 1305154 pushed by robsimmons
November 14, 2024 14:55 27s main
main
November 14, 2024 14:55 27s
Push on main CodeQL #148: by robsimmons
November 14, 2024 14:55 1m 34s
November 14, 2024 14:55 1m 34s
PR #59 CodeQL #147: by robsimmons
November 14, 2024 14:53 1m 38s
November 14, 2024 14:53 1m 38s
Link docs to authors and POPL paper Check that everything builds correctly #62: Pull request #59 synchronize by robsimmons
November 14, 2024 14:53 50s robsimmons-patch-1
robsimmons-patch-1
November 14, 2024 14:53 50s
prettier Dusa tests #147: Commit 4068bfe pushed by robsimmons
November 14, 2024 14:53 27s robsimmons-patch-1
robsimmons-patch-1
November 14, 2024 14:53 27s
Comments and cleanup Dusa tests #146: Commit 14220f0 pushed by robsimmons
November 14, 2024 14:52 18s rewrite
rewrite
November 14, 2024 14:52 18s
PR #59 CodeQL #146: by robsimmons
November 14, 2024 14:52 1m 36s
November 14, 2024 14:52 1m 36s
Link docs to authors and POPL paper Check that everything builds correctly #61: Pull request #59 opened by robsimmons
November 14, 2024 14:52 55s robsimmons-patch-1
robsimmons-patch-1
November 14, 2024 14:52 55s
Update index.md Dusa tests #145: Commit 15d159b pushed by robsimmons
November 14, 2024 14:51 20s robsimmons-patch-1
robsimmons-patch-1
November 14, 2024 14:51 20s
Many many comments on choiceengine, simplifying the state machine, an… Dusa tests #144: Commit c1e4ab2 pushed by robsimmons
November 13, 2024 23:04 22s rewrite
rewrite
November 13, 2024 23:04 22s
Unused code Dusa tests #143: Commit 647ee7a pushed by robsimmons
November 13, 2024 21:19 27s rewrite
rewrite
November 13, 2024 21:19 27s
Prettier Dusa tests #142: Commit e45c518 pushed by robsimmons
November 13, 2024 21:02 25s rewrite
rewrite
November 13, 2024 21:02 25s