Skip to content

Actions: juv4uk/cml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
232 workflow runs
232 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
tasks: register CML-X86-DEF-BOUNDED-SELF-TAIL-RECURSIVE-FUNCTION CI #232: Commit 7844585 pushed by juv4uk
27s master
master
27s
examples: two more executed nucleus witnesses — bounded and escaping … CI #231: Commit 56ef40b pushed by juv4uk
49s master
master
49s
examples: nucleus witness — compile+write an independent C0 fixture t… CI #230: Commit 6d74b8d pushed by juv4uk
1m 25s master
master
1m 25s
docs: update ecosystem/docs/ references after ecosystem docs reorg CI #229: Commit eb220a0 pushed by juv4uk
1m 41s master
master
1m 41s
fix: tasks.my's outer (tasks . ...) wrapper was broken since before t… CI #228: Commit 5f0574c pushed by juv4uk
1m 19s master
master
1m 19s
test(x86): prove PCI capability read composes with a bounded tail-loop CI #227: Commit cafb8bc pushed by juv4uk
1m 7s master
master
1m 7s
tasks: add CML-X86-CAPABILITY-CALL-IN-BOUNDED-TAIL-LOOP CI #226: Commit 655c4c3 pushed by juv4uk
1m 24s master
master
1m 24s
fix(ci): cargo fmt CI #225: Commit f33978d pushed by juv4uk
1m 27s master
master
1m 27s
docs+test: name x86 closure-dispatch cost, document CUDA float admiss… CI #224: Commit 711a359 pushed by juv4uk
36s master
master
36s
tasks+docs: x86 closure-dispatch scalability, CUDA docs gap, code survey CI #223: Commit 22f0033 pushed by juv4uk
1m 30s master
master
1m 30s
docs: add doc survey 2026-09-01 CI #222: Commit 8d48f4c pushed by juv4uk
1m 22s master
master
1m 22s
x86: admit bounded PCI capability calls CI #221: Commit 8232c33 pushed by juv4uk
1m 10s master
master
1m 10s
tasks: close first-class closure gate CI #220: Commit b3e57b7 pushed by juv4uk
1m 19s master
master
1m 19s
x86: materialize bounded escaping closures CI #219: Commit 1266c83 pushed by juv4uk
1m 31s master
master
1m 31s
tasks: add full constitutional compiler gates CI #218: Commit 060fba9 pushed by juv4uk
2m 4s master
master
2m 4s
feat(x86): closure-convert bounded nested lambda CI #217: Commit 5b31189 pushed by juv4uk
1m 8s master
master
1m 8s
feat(x86): add bounded lexical lambda frame CI #216: Commit 7c3ef66 pushed by juv4uk
1m 21s master
master
1m 21s
feat(x86): emit real identity lambda call CI #215: Commit 9858299 pushed by juv4uk
1m 35s master
master
1m 35s
cml: prove identity lambda through source lowering CI #214: Commit 98172e1 pushed by juv4uk
1m 22s master
master
1m 22s
cml: pin wsm-os target provenance for M1a CI #213: Commit de795e0 pushed by juv4uk
1m 10s master
master
1m 10s
cml: admit one-argument identity lambda application CI #212: Commit 9e94e17 pushed by juv4uk
1m 22s master
master
1m 22s
test(x86): record closure fail-closed boundary CI #211: Commit 4601912 pushed by juv4uk
1m 16s master
master
1m 16s
style(fs): satisfy cml rustfmt CI #210: Commit 5d9c003 pushed by juv4uk
1m 29s master
master
1m 29s
feat(fs): add stream checkpoint utility CI #209: Commit d0e4f00 pushed by juv4uk
5m 44s master
master
5m 44s
test(fs): pin my-lisp record stream fixture CI #208: Commit b25cdd6 pushed by juv4uk
24s master
master
24s