Skip to content

Actions: PHPCraftdream/sefer-alloc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
661 workflow runs
661 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
docs: record src review round 17 CI #320: Commit ff3d60b pushed by PHPCraftdream
19m 3s main
main
19m 3s
docs: record src review round 17 Kani verification #252: Commit ff3d60b pushed by PHPCraftdream
42s main
main
42s
docs: close correctness item 175 after green CI and record the red CI… Kani verification #251: Commit 453439c pushed by PHPCraftdream
44s main
main
44s
docs: close correctness item 175 after green CI and record the red CI… CI #319: Commit 453439c pushed by PHPCraftdream
14m 28s main
main
14m 28s
test: skip stale-source rlib candidates in the r14 compile-fail harne… Kani verification #250: Commit b524760 pushed by PHPCraftdream
1m 9s main
main
1m 9s
test: skip stale-source rlib candidates in the r14 compile-fail harne… CI #318: Commit b524760 pushed by PHPCraftdream
13m 13s main
main
13m 13s
test: classify foreign-target rlibs by rustc's E0461 verdict instead … Kani verification #249: Commit eda25f9 pushed by PHPCraftdream
33s main
main
33s
test: classify foreign-target rlibs by rustc's E0461 verdict instead … CI #317: Commit eda25f9 pushed by PHPCraftdream
18m 47s main
main
18m 47s
docs: close out the round 16 follow-up in the open-items indexes, cha… Kani verification #248: Commit 9c846e8 pushed by PHPCraftdream
44s main
main
44s
docs: close out the round 16 follow-up in the open-items indexes, cha… CI #316: Commit 9c846e8 pushed by PHPCraftdream
9m 23s main
main
9m 23s
docs: append independent verification to src review round 15 CI #315: Commit fe171d9 pushed by PHPCraftdream
19m 3s main
main
19m 3s
docs: append independent verification to src review round 15 Kani verification #247: Commit fe171d9 pushed by PHPCraftdream
48s main
main
48s
docs(process): update R15 manifest after cross-target follow-up Kani verification #246: Commit 6a0d47f pushed by PHPCraftdream
41s main
main
41s
docs(process): update R15 manifest after cross-target follow-up CI #314: Commit 6a0d47f pushed by PHPCraftdream
18m 37s main
main
18m 37s
docs(process): update R15 manifest after CI follow-up Kani verification #245: Commit d5fb531 pushed by PHPCraftdream
30s main
main
30s
docs(process): update R15 manifest after CI follow-up CI #313: Commit d5fb531 pushed by PHPCraftdream
9m 9s main
main
9m 9s
docs(process): add source review round 15 manifest CI #312: Commit 714ea5b pushed by PHPCraftdream
10m 11s main
main
10m 11s
docs(process): add source review round 15 manifest Kani verification #244: Commit 714ea5b pushed by PHPCraftdream
42s main
main
42s
fix: close src review round 13 findings CI #311: Commit d6417c6 pushed by PHPCraftdream
18m 27s main
main
18m 27s
fix: close src review round 13 findings Kani verification #243: Commit d6417c6 pushed by PHPCraftdream
35s main
main
35s
fix: forward tagged-index-stack/loom in every root loom row and keep … Kani verification #242: Commit e90a357 pushed by PHPCraftdream
48s main
main
48s
fix: forward tagged-index-stack/loom in every root loom row and keep … CI #310: Commit e90a357 pushed by PHPCraftdream
14m 7s main
main
14m 7s
fix: keep dead_code allowed only where publish_pending/claim_pending … globalalloc-model #18: Commit 691a195 pushed by PHPCraftdream
1m 56s main
main
1m 56s
fix: keep dead_code allowed only where publish_pending/claim_pending … Kani verification #241: Commit 691a195 pushed by PHPCraftdream
45s main
main
45s
fix: keep dead_code allowed only where publish_pending/claim_pending … CI #309: Commit 691a195 pushed by PHPCraftdream
9m 48s main
main
9m 48s