Skip to content

Actions: pmarreck/random

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 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
Keep review attribution within the public-document policy Rust native targets #33: Commit 17461cf pushed by pmarreck
1m 39s yolo
yolo
1m 39s
Ship independent Roc CLI and C ABI with five-way Bash acceptance Rust native targets #32: Commit bcdaf21 pushed by pmarreck
1m 25s yolo
yolo
1m 25s
Preserve bounded Roc sampling and error admission contracts Rust native targets #31: Commit eb81a21 pushed by pmarreck
1m 35s yolo
yolo
1m 35s
Add independently checked Roc unsigned count codecs Rust native targets #30: Commit 5dcd84f pushed by pmarreck
1m 33s yolo
yolo
1m 33s
Retire the verified Roc curve-model milestone Rust native targets #29: Commit b08dc43 pushed by pmarreck
1m 36s yolo
yolo
1m 36s
Verify native Roc ownership and protect relocated ELF constants Rust native targets #28: Commit e4d6fd7 pushed by pmarreck
1m 38s yolo
yolo
1m 38s
Retire verified Roc codec milestone and retain shared CLI contract Rust native targets #27: Commit f1ee208 pushed by pmarreck
1m 22s yolo
yolo
1m 22s
Retire verified Roc bootstrap and pure-core milestones Rust native targets #26: Commit 69a0407 pushed by pmarreck
1m 29s yolo
yolo
1m 29s
Cover wide BLIP streaming in the shared Bash contract Rust native targets #25: Commit ab6fa76 pushed by pmarreck
19m 13s yolo
yolo
19m 13s
Retire verified geometric work and consolidate the remaining plan Rust native targets #24: Commit 1dd8f55 pushed by pmarreck
27m 47s yolo
yolo
27m 47s
Align pipe controls with quiet streaming shutdown in CI Rust native targets #23: Commit 05f2be0 pushed by pmarreck
1m 37s yolo
yolo
1m 37s
Stream CLI output continuously with bounded buffers and shared controls Rust native targets #22: Commit 8e35103 pushed by pmarreck
1m 41s yolo
yolo
1m 41s
Verify bounded Rust DRBG and arithmetic contracts with Kani Rust native targets #21: Commit 60b99a2 pushed by pmarreck
1m 30s yolo
yolo
1m 30s
Resolve Rust library oracle from Cargo in clean CI builds Rust native targets #20: Commit a3fd206 pushed by pmarreck
1m 35s yolo
yolo
1m 35s
Export caller-owned LuaJIT DRBG and exercise Nix library consumers Rust native targets #19: Commit d2dd7e7 pushed by pmarreck
1m 32s yolo
yolo
1m 32s
Invoke Kani evidence checker with sandbox Bash Rust native targets #18: Commit 1269d75 pushed by pmarreck
1m 34s yolo
yolo
1m 34s
Verify Rust fixed-point constructor with isolated Kani controls Rust native targets #17: Commit 241a3a6 pushed by pmarreck
2m 31s yolo
yolo
2m 31s
perf: promote exact normal batching with portable SIMD dispatch Rust native targets #16: Commit 436f512 pushed by pmarreck
1m 37s yolo
yolo
1m 37s
Stream LuaJIT binary output and measure exact fixed-point SIMD Rust native targets #15: Commit 74d91d3 pushed by pmarreck
1m 33s yolo
yolo
1m 33s
build: declare benchmark test and dev-shell tools Rust native targets #14: Commit f38b4e3 pushed by pmarreck
1m 32s yolo
yolo
1m 32s
perf: accelerate exact normalized streams and validate benchmark exports Rust native targets #13: Commit 118fdde pushed by pmarreck
2m 46s yolo
yolo
2m 46s
feat: publish language-native library packages Rust native targets #12: Commit 7a3ee0f pushed by pmarreck
1m 28s yolo
yolo
1m 28s
test: prove LuaJIT package build isolation Rust native targets #11: Commit 8ddd6aa pushed by pmarreck
1m 31s yolo
yolo
1m 31s
build: split Nix packages by implementation Rust native targets #10: Commit fda1c39 pushed by pmarreck
1m 33s yolo
yolo
1m 33s
feat: complete independent Lean implementation Rust native targets #9: Commit eadf4e5 pushed by pmarreck
1m 33s yolo
yolo
1m 33s