Skip to content

Actions: Corvidae-Coding-Projects/Thermite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
425 workflow runs
425 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
forge+thermite-lower: verified text editor — fx-diverge L1 cap + 2 L1… ci #50: Commit deed870 pushed by dollspace-gay
5m 57s main
main
5m 57s
thermite-lower: strings — String L3 completeness (slice u64->usize co… ci #49: Commit 3ff0f42 pushed by dollspace-gay
6m 4s main
main
6m 4s
thermite-lower: emit a plain-Rust TString into the L1 build crate (… ci #48: Commit 82e0257 pushed by dollspace-gay
5m 43s main
main
5m 43s
forge: basis Stage 8 — the runnable effect link, emit mod os into t… ci #47: Commit bb0fbd9 pushed by dollspace-gay
6m 0s main
main
6m 0s
conformance: Stage 8 runnable-effect-link oracle (#81) ci #46: Commit bb84ce1 pushed by dollspace-gay
5m 44s main
main
5m 44s
docs: README — the universal verified primitive basis (Stages 1-6) (#78) ci #45: Commit c7eae0e pushed by dollspace-gay
5m 21s main
main
5m 21s
tooling: route validator.rs -> 06-provenance-and-sinks.md for the #[s… ci #44: Commit 1878c91 pushed by dollspace-gay
5m 28s main
main
5m 28s
basis: refine Stage 6 doc — pin buildable v1 (type-level IFC is emerg… ci #43: Commit 9b73275 pushed by dollspace-gay
5m 22s main
main
5m 22s
conformance: Stage 5 composition oracle (#75) ci #42: Commit a38a0e9 pushed by dollspace-gay
4m 14s main
main
4m 14s
thermite-spec,thermite-lower: recursion SCHEMES — registry + validato… ci #41: Commit 57d9727 pushed by dollspace-gay
4m 55s main
main
4m 55s
thermite-lower: basis — generalize recursive-ADT-fold nat-return dete… ci #40: Commit 03138c8 pushed by dollspace-gay
27s main
main
27s
basis: 01-adts REQ-2 — variant names must be UpperCamelCase (closes t… ci #39: Commit 4e46dac pushed by dollspace-gay
4m 37s main
main
4m 37s
basis: Stage 6 design — security-by-construction / information-flow c… ci #38: Commit 7889292 pushed by dollspace-gay
4m 41s main
main
4m 41s
docs: README — note the soundness-critical core is Verus-self-verifie… ci #37: Commit 30c63ae pushed by dollspace-gay
4m 35s main
main
4m 35s
skill: regenerate — add forge build (#56) + the runtime seccomp sandb… ci #36: Commit fd8bf3b pushed by dollspace-gay
3m 51s main
main
3m 51s
docs: update README to v0.1-v0.5 complete + forge build + seccomp san… ci #35: Commit f378c53 pushed by dollspace-gay
4m 38s main
main
4m 38s
conformance: runtime sandbox oracle (#57) ci #34: Commit 827cd8a pushed by dollspace-gay
4m 53s main
main
4m 53s
forge: build — lower to executable Rust + rustc artifact (#56) ci #33: Commit aab1a72 pushed by dollspace-gay
4m 12s main
main
4m 12s
lower: align verus-lowering.md + l1 doc int-literal claims to value-e… ci #32: Commit 1a0295e pushed by dollspace-gay
4m 39s main
main
4m 39s
forge: solver-vacuity — fix the #13 vacuity-solver verus temp-binary … ci #31: Commit 5746a9b pushed by dollspace-gay
4m 51s main
main
4m 51s
forge: multi-agent — assert + test the concurrent-session guarantee (… ci #30: Commit e0e930b pushed by dollspace-gay
4m 27s main
main
4m 27s
conformance: spec-review oracle (#19) ci #29: Commit 97ede24 pushed by dollspace-gay
2m 58s main
main
2m 58s
forge: audit-manifest — audit manifest v1 + forge audit (#15) ci #28: Commit a8b2f71 pushed by dollspace-gay
2m 51s main
main
2m 51s
tooling: route forge/src/closure.rs -> e2e-vs-boundary.md (#17) ci #27: Commit 7b51e30 pushed by dollspace-gay
2m 41s main
main
2m 41s
conformance: strengthening-probes oracle (advisory, verifying+stronge… ci #26: Commit 6401995 pushed by dollspace-gay
2m 0s main
main
2m 0s
ProTip! You can narrow down the results and go further in time using created:<2026-06-05 or the other filters available.