Skip to content

Actions: dinfuehr/dora

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,300 workflow runs
1,300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

swiper: add free list for old generation
ci #1129: Commit 8d2f6a4 pushed by dinfuehr
December 18, 2023 22:08 10m 56s main
December 18, 2023 22:08 10m 56s
swiper: make page header non-iterable
ci #1128: Commit 36478e7 pushed by dinfuehr
December 18, 2023 13:04 8m 43s main
December 18, 2023 13:04 8m 43s
swiper: visit dirty cards by page
ci #1127: Commit 9baa192 pushed by dinfuehr
December 18, 2023 11:29 9m 28s main
December 18, 2023 11:29 9m 28s
swiper: remove many usages of active_region() for old gen
ci #1126: Commit 8aade19 pushed by dinfuehr
December 18, 2023 07:57 13m 26s main
December 18, 2023 07:57 13m 26s
swiper: iterate full pages
ci #1125: Commit fabb0b4 pushed by dinfuehr
December 17, 2023 22:14 6m 26s main
December 17, 2023 22:14 6m 26s
swiper: fix page split in full GC relocate()
ci #1124: Commit 61b9ccc pushed by dinfuehr
December 17, 2023 19:42 5m 50s main
December 17, 2023 19:42 5m 50s
swiper: iterate pages in full GC
ci #1123: Commit d36f99c pushed by dinfuehr
December 17, 2023 09:45 2m 50s main
December 17, 2023 09:45 2m 50s
increase heap size for test
ci #1122: Commit ac35971 pushed by dinfuehr
December 17, 2023 08:44 12m 49s main
December 17, 2023 08:44 12m 49s
swiper: verify that objects don't cross boundary
ci #1121: Commit 9da6850 pushed by dinfuehr
December 17, 2023 08:28 3m 10s main
December 17, 2023 08:28 3m 10s
swiper: rename resetting of old generation
ci #1120: Commit f672a34 pushed by dinfuehr
December 16, 2023 22:33 2m 55s main
December 16, 2023 22:33 2m 55s
swiper: more preparation work for introducing pages
ci #1119: Commit 7cac34f pushed by dinfuehr
December 16, 2023 14:29 6m 39s main
December 16, 2023 14:29 6m 39s
swiper: introduce Page abstraction
ci #1118: Commit bbd1bf2 pushed by dinfuehr
December 16, 2023 14:05 5m 12s main
December 16, 2023 14:05 5m 12s
frontend: split line up a bit more
ci #1117: Commit 821392b pushed by dinfuehr
December 15, 2023 07:55 5m 13s main
December 15, 2023 07:55 5m 13s
frontend: simplify handling of first context slot in lambda
ci #1116: Commit 17e6996 pushed by dinfuehr
December 14, 2023 18:41 9m 3s main
December 14, 2023 18:41 9m 3s
frontend: add test for nested loop contexts
ci #1115: Commit ce31d0e pushed by dinfuehr
December 14, 2023 18:09 10m 30s main
December 14, 2023 18:09 10m 30s
frontend: support nested blocks in function
ci #1114: Commit 8b10a7b pushed by dinfuehr
December 13, 2023 18:22 18m 8s main
December 13, 2023 18:22 18m 8s
generator: use right parent context when creating contexts
ci #1113: Commit bcbc98d pushed by dinfuehr
December 13, 2023 08:33 9m 27s main
December 13, 2023 08:33 9m 27s
frontend: support context variables in loops again
ci #1112: Commit 1094261 pushed by dinfuehr
December 12, 2023 17:37 10m 35s main
December 12, 2023 17:37 10m 35s
generator: store context id in VarLocation::Context
ci #1111: Commit d9ec204 pushed by dinfuehr
December 12, 2023 09:31 6m 7s main
December 12, 2023 09:31 6m 7s
frontend: track vars for each scope
ci #1110: Commit 2b66a2d pushed by dinfuehr
December 12, 2023 08:04 5m 43s main
December 12, 2023 08:04 5m 43s
frontend: remove context id from VarLocation::Context
ci #1109: Commit 44a467b pushed by dinfuehr
December 9, 2023 09:59 6m 5s main
December 9, 2023 09:59 6m 5s
frontend: start creating context classes for loops
ci #1108: Commit 9cfeab3 pushed by dinfuehr
December 8, 2023 19:58 5m 35s main
December 8, 2023 19:58 5m 35s
frontend: introduce proper types for lazy context creation
ci #1107: Commit 6a7e602 pushed by dinfuehr
December 7, 2023 18:53 13m 4s main
December 7, 2023 18:53 13m 4s
frontend: more preparation work for loop contexts
ci #1106: Commit de416ac pushed by dinfuehr
December 7, 2023 18:01 10m 44s main
December 7, 2023 18:01 10m 44s
frontend: context register is now a vector in function
ci #1105: Commit 0dcbac6 pushed by dinfuehr
December 1, 2023 08:20 9m 18s main
December 1, 2023 08:20 9m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-12-01 or the other filters available.