Skip to content

Actions: PHPCraftdream/sefer-alloc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
584 workflow runs
584 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor: move RemoteFreeRing implementation out of remote_free_ring/… Kani verification #222: Commit 03bc2b2 pushed by PHPCraftdream
34s main
main
34s
refactor: move RemoteFreeRing implementation out of remote_free_ring/… CI #288: Commit 03bc2b2 pushed by PHPCraftdream
54m 12s main
main
54m 12s
test: run aarch64 subprocess through Cargo target runner CI #287: Commit 197affc pushed by PHPCraftdream
56m 22s main
main
56m 22s
test: run aarch64 subprocess through Cargo target runner Kani verification #221: Commit 197affc pushed by PHPCraftdream
45s main
main
45s
test: stabilize Windows CI source and scratch oracles Kani verification #220: Commit ce623d6 pushed by PHPCraftdream
47s main
main
47s
test: stabilize Windows CI source and scratch oracles CI #286: Commit ce623d6 pushed by PHPCraftdream
23m 38s main
main
23m 38s
fix(ci): repair fixture cache and release gates Kani verification #219: Commit f3a4c3c pushed by PHPCraftdream
48s main
main
48s
fix(ci): repair fixture cache and release gates CI #285: Commit f3a4c3c pushed by PHPCraftdream
31m 51s main
main
31m 51s
docs(alloc): close R3 remote-free contract and CI follow-ups Kani verification #218: Commit 32c9b19 pushed by PHPCraftdream
52s main
main
52s
docs(alloc): close R3 remote-free contract and CI follow-ups CI #284: Commit 32c9b19 pushed by PHPCraftdream
16m 59s main
main
16m 59s
docs: repair production rustdoc links CI #283: Commit d37475b pushed by PHPCraftdream
14m 23s main
main
14m 23s
docs: repair production rustdoc links globalalloc-model #10: Commit d37475b pushed by PHPCraftdream
1m 23s main
main
1m 23s
docs: repair production rustdoc links Kani verification #217: Commit d37475b pushed by PHPCraftdream
58s main
main
58s
fix: revert sol_f1_dbg_carve_batch_negative_probe's required-features… Kani verification #216: Commit 447de05 pushed by PHPCraftdream
35s main
main
35s
fix: revert sol_f1_dbg_carve_batch_negative_probe's required-features… CI #282: Commit 447de05 pushed by PHPCraftdream
39m 44s main
main
39m 44s
fix: revert sol_f1_dbg_carve_batch_negative_probe's required-features… globalalloc-model #9: Commit 447de05 pushed by PHPCraftdream
2m 58s main
main
2m 58s
fix(perf): unify dealloc_own_thread_with_base/dealloc_batch_small's F… globalalloc-model #8: Commit c913ecd pushed by PHPCraftdream
2m 6s main
main
2m 6s
fix(perf): unify dealloc_own_thread_with_base/dealloc_batch_small's F… Kani verification #215: Commit c913ecd pushed by PHPCraftdream
33s main
main
33s
fix(perf): unify dealloc_own_thread_with_base/dealloc_batch_small's F… CI #281: Commit c913ecd pushed by PHPCraftdream
47m 39s main
main
47m 39s
CI CI #280: Scheduled
40m 22s main
main
40m 22s
fix(perf): drop duplicated/mis-scoped feature-gated imports (--all-fe… CI #279: Commit 2fe9929 pushed by PHPCraftdream
33m 21s main
main
33m 21s
fix(perf): drop duplicated/mis-scoped feature-gated imports (--all-fe… Kani verification #214: Commit 2fe9929 pushed by PHPCraftdream
42s main
main
42s
refactor(global): split sefer_alloc.rs into a mod dir (<=1000 lines, … globalalloc-model #7: Commit 93a2c8b pushed by PHPCraftdream
3m 29s main
main
3m 29s
refactor(global): split sefer_alloc.rs into a mod dir (<=1000 lines, … CI #278: Commit 93a2c8b pushed by PHPCraftdream
51m 37s main
main
51m 37s
refactor(global): split sefer_alloc.rs into a mod dir (<=1000 lines, … Kani verification #213: Commit 93a2c8b pushed by PHPCraftdream
44s main
main
44s