Skip to content

Actions: pyrex41/shen-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
Merge pull request #5 from pyrex41/feat/cedar-equivalence-gate CI #26: Commit 8788119 pushed by pyrex41
7m 28s main
main
7m 28s
Codegen-equivalence gate: prove generated Cedar decides like the spec CI #25: Pull request #5 synchronize by pyrex41
9m 35s feat/cedar-equivalence-gate
feat/cedar-equivalence-gate
9m 35s
Codegen-equivalence gate: prove generated Cedar decides like the spec CI #24: Pull request #5 opened by pyrex41
5m 43s feat/cedar-equivalence-gate
feat/cedar-equivalence-gate
5m 43s
Merge pull request #3 from pyrex41/fix/hush-pr-file-2 CI #23: Commit 5e91006 pushed by pyrex41
9m 37s main
main
9m 37s
Fix #2: pr honours *hush* only for the standard output stream CI #22: Pull request #3 synchronize by pyrex41
9m 29s fix/hush-pr-file-2
fix/hush-pr-file-2
9m 29s
Fix #2: pr honours *hush* only for the standard output stream CI #21: Pull request #3 opened by pyrex41
9m 14s fix/hush-pr-file-2
fix/hush-pr-file-2
9m 14s
Mirror shen-go port-authored test suite into shen-rust CI #20: Commit d4a8fab pushed by pyrex41
9m 16s main
main
9m 16s
Add the kernel launcher CLI so shen-rust can host Ratatoskr stage 1 CI #19: Commit 3a30adf pushed by pyrex41
9m 5s main
main
9m 5s
Rename yggdrasil-build crate to ratatoskr-build CI #18: Commit 7281422 pushed by pyrex41
9m 25s main
main
9m 25s
yggdrasil-build: fix pre-existing Gate 1 failures (rustfmt 1.9 drift,… CI #17: Commit 222a5be pushed by pyrex41
9m 30s main
main
9m 30s
Sync compiler.kl with current shen-cl generation CI #16: Commit 6f33083 pushed by pyrex41
9m 15s main
main
9m 15s
Merge branch 'yggdrasil-builder' CI #15: Commit 6458b57 pushed by pyrex41
9m 14s main
main
9m 14s
docs: link showboat (simonw/showboat) from README and DEMO.md CI #14: Commit 9a732e2 pushed by pyrex41
9m 40s main
main
9m 40s
docs: executable tour (DEMO.md, showboat) CI #13: Commit 698a9c9 pushed by pyrex41
5m 15s main
main
5m 15s
docs: community-readiness pass — README docs index, ARCHITECTURE fixe… CI #12: Commit db2952d pushed by pyrex41
9m 47s main
main
9m 47s
fix(gc): harden Step 4 per adversarial review — sweep-unwind poisonin… CI #11: Commit c73c474 pushed by pyrex41
10m 26s main
main
10m 26s
docs: 2026-06-10 perf round — refresh cross-port numbers to ~3.0x, do… CI #10: Commit 27a4b0a pushed by pyrex41
8m 38s main
main
8m 38s
perf(gc): split-TLS heap — bare TLS load on every Value heap access, … CI #9: Commit 6637954 pushed by pyrex41
9m 6s main
main
9m 6s
perf(symbol): share one allocation per interned name via Rc<str> CI #8: Commit c2b58af pushed by pyrex41
7m 36s main
main
7m 36s
docs: refresh the shen-cl comparison with paired 2026-06-09 numbers CI #7: Commit d90e840 pushed by pyrex41
7m 24s main
main
7m 24s
docs: AOT overlay across README/STATUS/PERFORMANCE/BENCHMARKS + hando… CI #6: Commit 01adfd2 pushed by pyrex41
5m 46s main
main
5m 46s
feat(authz): wire AOT overlay into examples opt-in + W2 probe closes … CI #5: Commit 41582ac pushed by pyrex41
6m 14s main
main
6m 14s
Codegen-equivalence gate: prove generated Cedar decides like the spec CI #4: Pull request #1 opened by pyrex41
5m 42s cedar-equivalence-gate
cedar-equivalence-gate
5m 42s
fix(jit): make the jit feature off-by-default (fixes x86 CI) CI #3: Commit a4bfcc4 pushed by pyrex41
8m 35s main
main
8m 35s
ci: bump actions/checkout v4 → v6 (Node 24; clears the Node 20 deprec… CI #2: Commit 8fcf32d pushed by pyrex41
4m 49s main
main
4m 49s