Skip to content

Actions: mit-pdos/xv6iris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Dead imports (Lean) Dead imports (Lean) #9: Scheduled
15m 31s lean
lean
15m 31s
Dead imports (Lean) Dead imports (Lean) #8: Scheduled
16m 0s lean
lean
16m 0s
Dead imports (Lean) Dead imports (Lean) #7: Scheduled
15m 33s lean
lean
15m 33s
Dead imports (Lean) Dead imports (Lean) #6: Scheduled
15m 47s lean
lean
15m 47s
Dead imports (Lean) Dead imports (Lean) #5: Scheduled
15m 28s lean
lean
15m 28s
Dead imports (Lean) Dead imports (Lean) #4: Scheduled
21m 15s lean
lean
21m 15s
Xv6: the determinism theorem for arbitrary low code (NI M3 U-3) -- xv… CI (Lean) #36: Commit 98fbb6a pushed by kaashoek
14m 21s lean
lean
14m 21s
Dead imports (Lean) Dead imports (Lean) #3: Scheduled
22m 57s lean
lean
22m 57s
Xv6: sbrk joins the NI class (NI M2-G3b) -- usysDetSbrk at every key … CI (Lean) #35: Commit 3a56ed3 pushed by kaashoek
13m 39s lean
lean
13m 39s
Xv6: fork joins the NI class (NI joint fork lane F3) -- UIota.sev and… CI (Lean) #34: Commit 462330a pushed by kaashoek
13m 35s lean
lean
13m 35s
Dead imports (Lean) Dead imports (Lean) #2: Scheduled
24m 44s lean
lean
24m 44s
Xv6: the NI theorem at equal ledger histories (NI M2-X4) -- xv6NiPhi … CI (Lean) #33: Commit 1a15371 pushed by kaashoek
13m 36s lean
lean
13m 36s
perf: whole-tree profile outliers -- the startup spine and single slo… CI (Lean) #32: Commit 0c588a2 pushed by zeldovich
13m 29s lean
lean
13m 29s
Xv6: the pid counter tie and first-ness (NI G2a) -- pidTie: the nextp… CI (Lean) #31: Commit 44a07e9 pushed by kaashoek
13m 47s lean
lean
13m 47s
Merge origin/lean (nightly dead-import sweep: 123 imports removed, 26… CI (Lean) #30: Commit 33ce10f pushed by kaashoek
13m 51s lean
lean
13m 51s
Dead imports (Lean) Dead imports (Lean) #1: Scheduled
24m 46s lean
lean
24m 46s
Dead code, pass 4: 371 unreached rfl and attribute-tagged lemmas CI (Lean) #29: Commit 4bfa304 pushed by zeldovich
13m 31s lean
lean
13m 31s
Dead code, pass 3: 780 unreached helpers that only comments still named CI (Lean) #28: Commit be1dca6 pushed by zeldovich
13m 24s lean
lean
13m 24s
Dead code, pass 2: 263 more unreached helpers; 10 deliberate checks r… CI (Lean) #27: Commit 61e6764 pushed by zeldovich
13m 36s lean
lean
13m 36s
Dead code: 1560 helpers no top theorem reaches and nothing else names… CI (Lean) #26: Commit baa85f6 pushed by zeldovich
18m 22s lean
lean
18m 22s
vtest: ConcMp's proofs a third cheaper -- the primary hart in bursts … CI (Lean) #25: Commit 48a7f97 pushed by zeldovich
17m 4s lean
lean
17m 4s
Xv6, MachCSL: removed 761 import(s) across 548 file(s), re-added 183 … CI (Lean) #24: Commit 5bdc6d7 pushed by zeldovich
3m 0s lean
lean
3m 0s
ci: the dead-import sweep is its own nightly job that applies its rem… CI (Lean) #23: Commit 0b57059 pushed by zeldovich
13m 41s lean
lean
13m 41s
Dead files: 18 of the dead-code report's 22 unreached modules deleted CI (Lean) #22: Commit 7d02931 pushed by zeldovich
14m 8s lean
lean
14m 8s
tools/rebase_kernel.py: the chroot bump's side scripts folded in -- -… CI (Lean) #21: Commit 40bbcca pushed by zeldovich
14m 15s lean
lean
14m 15s