Skip to content

Actions: lollipopkit/lk

Actions

Correctness Harnesses

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
correctness.yml
58 workflow runs
58 workflow runs

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
Correctness Harnesses Correctness Harnesses #58: Scheduled
12m 25s main
main
12m 25s
Correctness Harnesses Correctness Harnesses #57: Scheduled
13m 2s main
main
13m 2s
Correctness Harnesses Correctness Harnesses #56: Scheduled
11m 56s main
main
11m 56s
Correctness Harnesses Correctness Harnesses #55: Scheduled
11m 46s main
main
11m 46s
Correctness Harnesses Correctness Harnesses #54: Scheduled
11m 14s main
main
11m 14s
Correctness Harnesses Correctness Harnesses #53: Scheduled
13m 2s main
main
13m 2s
Correctness Harnesses Correctness Harnesses #52: Scheduled
10m 9s main
main
10m 9s
Correctness Harnesses Correctness Harnesses #51: Scheduled
14m 8s main
main
14m 8s
Correctness Harnesses Correctness Harnesses #50: Scheduled
13m 11s main
main
13m 11s
Correctness Harnesses Correctness Harnesses #49: Scheduled
11m 28s main
main
11m 28s
Correctness Harnesses Correctness Harnesses #48: Scheduled
11m 44s main
main
11m 44s
Correctness Harnesses Correctness Harnesses #47: Scheduled
11m 21s main
main
11m 21s
Correctness Harnesses Correctness Harnesses #46: Scheduled
11m 32s main
main
11m 32s
Correctness Harnesses Correctness Harnesses #45: Scheduled
12m 1s main
main
12m 1s
Correctness Harnesses Correctness Harnesses #44: Scheduled
10m 2s main
main
10m 2s
Correctness Harnesses Correctness Harnesses #43: Scheduled
11m 25s main
main
11m 25s
feat: fixed-width ints → unsafe/MMIO → a bare-metal x86-64 kernel (#31) Correctness Harnesses #42: Commit 6e646ac pushed by lollipopkit
13m 34s main
main
13m 34s
Correctness Harnesses Correctness Harnesses #41: Scheduled
12m 55s main
main
12m 55s
feat: run LK on bare metal — no_std behaviour coverage, parser stack … Correctness Harnesses #40: Commit a2c24e2 pushed by lollipopkit
11m 13s main
main
11m 13s
fix: codegen miscompile, red CI gates, and type-checker/resolver (#29) Correctness Harnesses #39: Commit a3fcced pushed by lollipopkit
11m 17s main
main
11m 17s
refactor: AOT 清理 + 类型信息进 artifact + core 分层解循环 (#28) Correctness Harnesses #38: Commit 3f04cb0 pushed by lollipopkit
12m 16s main
main
12m 16s
Correctness Harnesses Correctness Harnesses #37: Scheduled
11m 48s main
main
11m 48s
Correctness Harnesses Correctness Harnesses #36: Scheduled
11m 45s main
main
11m 45s
Correctness Harnesses Correctness Harnesses #35: Scheduled
11m 36s main
main
11m 36s
Correctness Harnesses Correctness Harnesses #34: Scheduled
12m 0s main
main
12m 0s