Skip to content

Actions: robsimmons/dusa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
407 workflow runs
407 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GPL, for now Dusa tests #28: Commit 2615179 pushed by robsimmons
November 18, 2023 15:17 26s main
main
November 18, 2023 15:17 26s
Enable client to report facts Dusa tests #27: Commit 7a0a738 pushed by robsimmons
November 18, 2023 15:01 25s main
main
November 18, 2023 15:01 25s
Merge remote-tracking branch 'refs/remotes/github/main' Dusa tests #26: Commit 33747c2 pushed by robsimmons
November 18, 2023 03:54 31s main
main
November 18, 2023 03:54 31s
Clean up, introduce client Dusa tests #25: Commit 7f910e8 pushed by robsimmons
November 18, 2023 03:05 20s main
main
November 18, 2023 03:05 20s
Attempt some npm packaging infrastructure Dusa tests #24: Commit 239726c pushed by robsimmons
November 18, 2023 02:28 28s main
main
November 18, 2023 02:28 28s
Refactor eeeeeveryyyyything into directories that make sense Dusa tests #23: Commit 60b0a4c pushed by robsimmons
November 18, 2023 01:11 25s main
main
November 18, 2023 01:11 25s
Insert a very small chance of resetting entirely upon discard in orde… Dusa tests #22: Commit 4752989 pushed by robsimmons
November 17, 2023 22:05 27s main
main
November 17, 2023 22:05 27s
Major refactor: split the engine into the forward engine - which is m… Dusa tests #21: Commit e4abbce pushed by robsimmons
November 17, 2023 16:55 23s main
main
November 17, 2023 16:55 23s
Don't display play/pause in mobile reader mode Dusa tests #20: Commit fe301ae pushed by robsimmons
November 15, 2023 20:42 22s main
main
November 15, 2023 20:42 22s
typo Dusa tests #19: Commit f8f3101 pushed by robsimmons
November 15, 2023 19:45 21s main
main
November 15, 2023 19:45 21s
Much more readme Dusa tests #18: Commit 29a2ef5 pushed by robsimmons
November 15, 2023 19:44 22s main
main
November 15, 2023 19:44 22s
Cosmetic fixes for spacing n'at Dusa tests #17: Commit 63e5764 pushed by robsimmons
November 15, 2023 18:25 24s main
main
November 15, 2023 18:25 24s
Overhaul for some mobile friendliness and just-keep-running Dusa tests #16: Commit 18b701f pushed by robsimmons
November 15, 2023 01:01 39s main
main
November 15, 2023 01:01 39s
Fix subtle bug with nonexaustiveness by pruning more aggressively Dusa tests #15: Commit 76b77d0 pushed by robsimmons
November 12, 2023 21:16 38s main
main
November 12, 2023 21:16 38s
Failing test case Dusa tests #14: Commit a26c671 pushed by robsimmons
November 12, 2023 19:42 23s main
main
November 12, 2023 19:42 23s
Allow session divider to resize Dusa tests #13: Commit 4281511 pushed by robsimmons
November 11, 2023 18:03 24s main
main
November 11, 2023 18:03 24s
Ignore coverage Dusa tests #12: Commit 35effde pushed by robsimmons
November 11, 2023 16:20 22s main
main
November 11, 2023 16:20 22s
Tiny bit of compiler coverage Dusa tests #11: Commit 4728abf pushed by robsimmons
November 10, 2023 21:32 31s main
main
November 10, 2023 21:32 31s
Make hover better Dusa tests #10: Commit c2efcec pushed by robsimmons
November 10, 2023 20:03 30s main
main
November 10, 2023 20:03 30s
Link sharing, Radix tooltips, remove fontawesome Dusa tests #9: Commit 3cb0776 pushed by robsimmons
November 10, 2023 19:52 23s main
main
November 10, 2023 19:52 23s
Quick wordsmith Dusa tests #8: Commit 5b705f8 pushed by robsimmons
November 10, 2023 03:05 27s main
main
November 10, 2023 03:05 27s
Thanks linter, that was a mistake... Dusa tests #7: Commit df797d7 pushed by robsimmons
November 10, 2023 03:03 32s main
main
November 10, 2023 03:03 32s
Add bad SAT solver example Dusa tests #6: Commit a543b2d pushed by robsimmons
November 10, 2023 02:50 25s main
main
November 10, 2023 02:50 25s
Add a readme and link to it Dusa tests #5: Commit 746b13c pushed by robsimmons
November 10, 2023 02:37 26s main
main
November 10, 2023 02:37 26s
Fix intentionally added error (tests do run, yay) Dusa tests #4: Commit 780f782 pushed by robsimmons
November 9, 2023 20:22 28s main
main
November 9, 2023 20:22 28s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.