Skip to content

Actions: breandan/galoisenne

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
325 workflow runs
325 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

optimize serializer and bump limit to 100 tokens CI #1303: Commit 0071449 pushed by breandan
October 30, 2024 07:39 1h 38m 27s master
master
October 30, 2024 07:39 1h 38m 27s
check insertions and narval scripts CI #1302: Commit 492027d pushed by breandan
October 29, 2024 21:49 41m 46s master
master
October 29, 2024 21:49 41m 46s
merge multiedit fragment localization CI #1301: Commit e3a24e8 pushed by breandan
October 28, 2024 04:19 32m 42s master
master
October 28, 2024 04:19 32m 42s
multi edit pruning CI #1300: Commit c74403a pushed by breandan
October 28, 2024 03:59 46m 47s master
master
October 28, 2024 03:59 46m 47s
use binary search and implement multi-edit pruning CI #1299: Commit ae4eba6 pushed by breandan
October 28, 2024 01:51 33m 47s master
master
October 28, 2024 01:51 33m 47s
prune top left and bottom right of L-NFA when possible CI #1298: Commit ab5d42a pushed by breandan
October 26, 2024 00:45 37m 39s master
master
October 26, 2024 00:45 37m 39s
compute max parseable fragment and prune LevFSA CI #1297: Commit 19322b3 pushed by breandan
October 25, 2024 15:52 42m 9s master
master
October 25, 2024 15:52 42m 9s
tacas AET CI #1296: Commit 054918c pushed by breandan
October 25, 2024 02:04 37m 8s master
master
October 25, 2024 02:04 37m 8s
chase down bug with MAX_TOKENS CI #1295: Commit 18dc689 pushed by breandan
October 24, 2024 21:33 50m 59s master
master
October 24, 2024 21:33 50m 59s
profiling aids CI #1294: Commit 68a9f85 pushed by breandan
October 24, 2024 05:59 31m 23s master
master
October 24, 2024 05:59 31m 23s
improve error handling in CFG CI #1293: Commit fa8ed97 pushed by breandan
October 17, 2024 04:02 36m 38s master
master
October 17, 2024 04:02 36m 38s
submit CI #1292: Commit 1869942 pushed by breandan
October 12, 2024 04:27 33m 50s master
master
October 12, 2024 04:27 33m 50s
fix test CI #1291: Commit d8ccb82 pushed by breandan
October 9, 2024 19:08 56m 3s master
master
October 9, 2024 19:08 56m 3s
fix tests CI #1290: Commit de3de54 pushed by breandan
October 9, 2024 17:03 4h 16m 46s master
master
October 9, 2024 17:03 4h 16m 46s
use global Python grammar CI #1289: Commit 39d3f84 pushed by breandan
October 9, 2024 15:20 1h 43m 46s master
master
October 9, 2024 15:20 1h 43m 46s
reduce startup time by storing the parikh map CI #1288: Commit b1328cf pushed by breandan
October 9, 2024 07:11 6h 0m 29s master
master
October 9, 2024 07:11 6h 0m 29s
cite related work CI #1287: Commit 0b788f2 pushed by breandan
October 8, 2024 17:13 1h 22m 34s master
master
October 8, 2024 17:13 1h 22m 34s
test non-emptiness latency for nontrivial intersection CI #1286: Commit 2514260 pushed by breandan
October 8, 2024 04:34 1h 27m 24s master
master
October 8, 2024 04:34 1h 27m 24s
update versions CI #1285: Commit e74775b pushed by breandan
October 5, 2024 03:49 1h 33m 26s master
master
October 5, 2024 03:49 1h 33m 26s
rebuild project CI #1284: Commit 367c1b2 pushed by breandan
September 30, 2024 01:46 1h 11m 25s master
master
September 30, 2024 01:46 1h 11m 25s
fix packaging CI #1283: Commit 72393c5 pushed by breandan
September 29, 2024 23:46 1h 23m 53s master
master
September 29, 2024 23:46 1h 23m 53s
simons institute poster CI #1282: Commit b09648a pushed by breandan
September 23, 2024 22:14 1h 28m 34s master
master
September 23, 2024 22:14 1h 28m 34s
update versions CI #1281: Commit 87701ee pushed by breandan
September 16, 2024 03:41 1h 28m 3s master
master
September 16, 2024 03:41 1h 28m 3s
fix ADT description CI #1280: Commit f5f5fb1 pushed by breandan
August 12, 2024 16:26 1h 30m 10s master
master
August 12, 2024 16:26 1h 30m 10s
update to kotlin 2.0 CI #1279: Commit 46f3ade pushed by breandan
August 9, 2024 21:45 1h 14m 58s master
master
August 9, 2024 21:45 1h 14m 58s