Skip to content

Actions: breandan/galoisenne

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test against actual kt type checker CI #1459: Commit d8aa39d pushed by breandan
48m 14s master
master
48m 14s
add all holes afsa constructor CI #1458: Commit 41af508 pushed by breandan
1h 22m 23s master
master
1h 22m 23s
improve support for large grammars CI #1457: Commit 5264297 pushed by breandan
51m 40s master
master
51m 40s
pre-normalize typesafe CFG CI #1456: Commit b489cf1 pushed by breandan
53m 42s master
master
53m 42s
address profiling hotspot CI #1455: Commit 8144dc1 pushed by breandan
1h 2m 27s master
master
1h 2m 27s
regression, add unit test, revert CI #1454: Commit 69159ba pushed by breandan
1h 5m 44s master
master
1h 5m 44s
short circuit if minRad=1 CI #1453: Commit 0fc5ef2 pushed by breandan
1h 15m 13s master
master
1h 15m 13s
nonemptyLevFSA optimizations CI #1452: Commit 69e87a4 pushed by breandan
53m 9s master
master
53m 9s
levFSA optimizations CI #1451: Commit 6d7b988 pushed by breandan
58m 23s master
master
58m 23s
Merge remote-tracking branch 'origin/master' CI #1450: Commit 3f6d5ce pushed by breandan
52m 42s master
master
52m 42s
track error types CI #1449: Commit 1e3a40c pushed by breandan
46m 16s master
master
46m 16s
extract common functionality in shaders CI #1448: Commit b05d913 pushed by breandan
1h 13m 49s master
master
1h 13m 49s
clean up WGSL template CI #1447: Commit 222ed98 pushed by breandan
1h 2m 15s master
master
1h 2m 15s
simplify nullity check CI #1446: Commit f3e041d pushed by breandan
44m 51s master
master
44m 51s
popl '26 reviews CI #1445: Commit 2d50c2b pushed by breandan
4h 36m 5s master
master
4h 36m 5s
plot historical performance metrics CI #1444: Commit 7b89ab1 pushed by breandan
6h 0m 39s master
master
6h 0m 39s
Merge remote-tracking branch 'origin/master' CI #1443: Commit e2fdbe0 pushed by breandan
52m 31s master
master
52m 31s
Merge remote-tracking branch 'origin/master' CI #1442: Commit 59f4b33 pushed by breandan
32m 54s master
master
32m 54s
Merge remote-tracking branch 'origin/master' CI #1441: Commit 8921d91 pushed by breandan
41m 51s master
master
41m 51s
Merge remote-tracking branch 'origin/master' CI #1440: Commit ddeab59 pushed by breandan
35m 24s master
master
35m 24s
Merge remote-tracking branch 'origin/master' CI #1439: Commit ed552f3 pushed by breandan
40m 50s master
master
40m 50s
fix some notational issues CI #1438: Commit 0bd866f pushed by breandan
38m 17s master
master
38m 17s
describe the translation CI #1437: Commit cd3ea8c pushed by breandan
38m 42s master
master
38m 42s
experient with different automatization procedures CI #1436: Commit 3dd09d9 pushed by breandan
37m 57s master
master
37m 57s
evaluator for regex bar hillel procedure CI #1435: Commit d5ed338 pushed by breandan
47m 52s master
master
47m 52s