Skip to content

Actions: pulseengine/relay

Actions

Lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
149 workflow runs
149 workflow runs

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
build(deps): update DeterminateSystems/nix-installer-action requireme… Lean #149: Commit 338ed21 pushed by temper-pulseengine Bot
6m 47s main
main
6m 47s
feat(falcon-rate): WASI-free component + through-wasm closed-loop pro… Lean #148: Commit 482bb2d pushed by avrabe
6m 27s main
main
6m 27s
feat(oci): embed full component metadata so wasm.directory renders a … Lean #147: Commit 977c550 pushed by avrabe
21m 14s main
main
21m 14s
ci(diet): skip the 24-engine Kani matrix on non-code PRs (tier B) (#311) Lean #146: Commit 6ff6c7a pushed by avrabe
9m 27s main
main
9m 27s
docs(oci): make the wasm.directory registration step concrete (#305) Lean #145: Commit f0740c4 pushed by avrabe
10m 57s main
main
10m 57s
ci(diet): path-filter the non-required heavy gates on PRs (tier A) (#… Lean #144: Commit 8e10474 pushed by avrabe
9m 4s main
main
9m 4s
ci(diet): path-filter the non-required heavy gates on PRs (tier A) Lean #143: Pull request #310 synchronize by avrabe
12m 6s ci/diet-tier-a-path-filter-nonrequired
ci/diet-tier-a-path-filter-nonrequired
12m 6s
Lean Lean #142: by avrabe
1h 12m 0s main
main
1h 12m 0s
ci(diet): path-filter the non-required heavy gates on PRs (tier A) Lean #141: Pull request #310 opened by avrabe
1h 37m 52s ci/diet-tier-a-path-filter-nonrequired
ci/diet-tier-a-path-filter-nonrequired
1h 37m 52s
docs(oci): make the wasm.directory registration step concrete Lean #140: Pull request #305 synchronize by avrabe
2h 3m 25s docs/wasm-directory-registration-concrete
docs/wasm-directory-registration-concrete
2h 3m 25s
feat(oci): declare falcon-flight in a component-cli wasm.toml Lean #139: Pull request #309 opened by avrabe
1h 51m 29s feat/falcon-flight-wasm-toml
feat/falcon-flight-wasm-toml
1h 51m 29s
verify(falcon): v1.128 → P04 verified — machine-checked f32 sin approximation bound Lean #138: Pull request #308 opened by avrabe
1h 37m 53s verify/mathf32-p04-sin-approx
verify/mathf32-p04-sin-approx
1h 37m 53s
docs(oci): make the wasm.directory registration step concrete Lean #137: Pull request #305 synchronize by avrabe
14m 27s docs/wasm-directory-registration-concrete
docs/wasm-directory-registration-concrete
14m 27s
feat(math): machine-checked approximation bound for the f32 sin kerne… Lean #136: Commit ecba1c6 pushed by avrabe
1h 24m 23s main
main
1h 24m 23s
docs(oci): make the wasm.directory registration step concrete Lean #135: Pull request #305 synchronize by avrabe
8h 3m 52s docs/wasm-directory-registration-concrete
docs/wasm-directory-registration-concrete
8h 3m 52s
feat(math): machine-checked approximation bound for the f32 sin kernel (MATHF32-P04) Lean #134: Pull request #307 opened by avrabe
5h 9m 29s feat/mathf32-p04-sin-approx-proof
feat/mathf32-p04-sin-approx-proof
5h 9m 29s
feat(math): machine-checked rounding bound for the f32 COSINE kernel … Lean #133: Commit 85b6fa4 pushed by avrabe
1h 43m 57s main
main
1h 43m 57s
docs(oci): make the wasm.directory registration step concrete Lean #132: Pull request #305 opened by avrabe
1h 18m 53s docs/wasm-directory-registration-concrete
docs/wasm-directory-registration-concrete
1h 18m 53s
feat(math): machine-checked rounding bound for the f32 cosine kernel (MATHF32-P05 rounding half) Lean #131: Pull request #304 opened by avrabe
2h 20m 27s feat/cos-poly-rounding-proof
feat/cos-poly-rounding-proof
2h 20m 27s
plan(math): schedule the remaining machine-checked FP-kernel proof la… Lean #130: Commit fceb9c4 pushed by avrabe
1h 56m 47s main
main
1h 56m 47s
plan(math): schedule the remaining machine-checked FP-kernel proof layers (v1.128–v1.130) Lean #129: Pull request #302 opened by avrabe
1h 48m 34s plan/fp-proof-remaining-layers
plan/fp-proof-remaining-layers
1h 48m 34s
feat(release): publish flight component to ghcr.io as a signed OCI ar… Lean #128: Commit df6de37 pushed by avrabe
18m 30s main
main
18m 30s
feat(release): publish flight component to ghcr.io as a signed OCI artifact (+ wasm.directory path) Lean #127: Pull request #301 synchronize by avrabe
37m 41s feat/oci-distribution-wasm-directory
feat/oci-distribution-wasm-directory
37m 41s
feat(release): publish flight component to ghcr.io as a signed OCI artifact (+ wasm.directory path) Lean #126: Pull request #301 opened by avrabe
5m 50s feat/oci-distribution-wasm-directory
feat/oci-distribution-wasm-directory
5m 50s
build(deps): bump DeterminateSystems/nix-installer-action (#297) Lean #125: Commit 7f3b29a pushed by temper-pulseengine Bot
23m 3s main
main
23m 3s