Skip to content

Actions: robsimmons/dusa

Dusa tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
43 workflow run results
43 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Much more readme
Dusa tests #18: Commit 29a2ef5 pushed by robsimmons
November 15, 2023 19:44 22s 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
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
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
November 12, 2023 21:16 38s
Failing test case
Dusa tests #14: Commit a26c671 pushed by robsimmons
November 12, 2023 19:42 23s 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
November 11, 2023 18:03 24s
Ignore coverage
Dusa tests #12: Commit 35effde pushed by robsimmons
November 11, 2023 16:20 22s 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
November 10, 2023 21:32 31s
Make hover better
Dusa tests #10: Commit c2efcec pushed by robsimmons
November 10, 2023 20:03 30s 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
November 10, 2023 19:52 23s
Quick wordsmith
Dusa tests #8: Commit 5b705f8 pushed by robsimmons
November 10, 2023 03:05 27s 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
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
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
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
November 9, 2023 20:22 28s
Prettier
Dusa tests #3: Commit cb751b5 pushed by robsimmons
November 9, 2023 20:21 20s main
November 9, 2023 20:21 20s
Github action take 2
Dusa tests #2: Commit 2f59e9d pushed by robsimmons
November 9, 2023 20:20 19s main
November 9, 2023 20:20 19s
Attempt at testing some stuff
Dusa tests #1: Commit 7fd98be pushed by robsimmons
November 9, 2023 20:15 1s main
November 9, 2023 20:15 1s