Skip to content

Actions: breandan/galoisenne

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rasp interpreter
CI #1502: Commit 0243221 pushed by breandan
2h 41m 4s master
fix notation
CI #1501: Commit 7358992 pushed by breandan
6m 23s master
ghci regression?
CI #1500: Commit 9890336 pushed by breandan
2h 31m 45s master
fix toDFSMDirect
CI #1491: Commit 10bc3c4 pushed by breandan
6m 48s master
harden testing
CI #1489: Commit 177937b pushed by breandan
3h 38m 16s master
speed up WFA scoring
CI #1487: Commit bee0c9a pushed by breandan
10m 31s master
parallel dfsm decoder
CI #1486: Commit 66ed4c0 pushed by breandan
5h 17m 1s master
renaming
CI #1485: Commit 766fd93 pushed by breandan
1h 31m 30s master
fix decoder and regenerate
CI #1483: Commit 5ca5235 pushed by breandan
1h 49m 15s master
revert renaming
CI #1481: Commit e091104 pushed by breandan
1h 33m 9s master
NFA -> WFA testing
CI #1480: Commit 41d3301 pushed by breandan
2h 29m 9s master