Skip to content

Actions: LFDT-Nightstream/Nightstream

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
455 workflow runs
455 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
Speed up the CPU prover without changing proofs Test Workflow #432: Pull request #127 synchronize by nicarq
4m 39s claude/piccs-cpu-prover-speedup
claude/piccs-cpu-prover-speedup
4m 39s
Speed up the CPU prover without changing proofs Test Workflow #431: Pull request #127 synchronize by nicarq
4m 36s claude/piccs-cpu-prover-speedup
claude/piccs-cpu-prover-speedup
4m 36s
Speed up the CPU prover without changing proofs Test Workflow #430: Pull request #127 synchronize by nicarq
4m 33s claude/piccs-cpu-prover-speedup
claude/piccs-cpu-prover-speedup
4m 33s
Speed up the CPU prover without changing proofs Test Workflow #429: Pull request #127 opened by nicarq
5m 21s claude/piccs-cpu-prover-speedup
claude/piccs-cpu-prover-speedup
5m 21s
Reduce Phi81 and Poseidon constraints with the current PiRLC sampler Test Workflow #428: Pull request #126 synchronize by nicarq
5m 20s nico/constraint-reduction-v2
nico/constraint-reduction-v2
5m 20s
Reduce Phi81 and Poseidon constraints with the current PiRLC sampler Test Workflow #427: Pull request #126 synchronize by nicarq
4m 46s nico/constraint-reduction-v2
nico/constraint-reduction-v2
4m 46s
Reduce Phi81 and Poseidon constraints with the current PiRLC sampler Test Workflow #426: Pull request #126 opened by nicarq
3m 56s nico/constraint-reduction-v2
nico/constraint-reduction-v2
3m 56s
Merge pull request #125 from LFDT-Nightstream/enzo/wasm-vm-host-abi-i… Test Workflow #425: Commit 1620399 pushed by ecioppettini
11m 42s main
main
11m 42s
wasm vm host abi impl no nebula Test Workflow #424: Pull request #125 synchronize by ecioppettini
11m 54s enzo/wasm-vm-host-abi-impl-no-nebula
enzo/wasm-vm-host-abi-impl-no-nebula
11m 54s
wasm vm host abi impl no nebula Test Workflow #423: Pull request #125 opened by ecioppettini
10m 51s enzo/wasm-vm-host-abi-impl-no-nebula
enzo/wasm-vm-host-abi-impl-no-nebula
10m 51s
New Lean Implementation Test Workflow #422: Pull request #118 synchronize by nicarq
4m 11s nico/f-prime-constraints-cuda-formal
nico/f-prime-constraints-cuda-formal
4m 11s
Replace PiRLC sampler in the canonical production path Test Workflow #421: Pull request #124 synchronize by nicarq
3m 12s nico/pirlc-sampler-replacement
nico/pirlc-sampler-replacement
3m 12s
Replace PiRLC sampler in the canonical production path Test Workflow #420: Pull request #124 synchronize by nicarq
3m 11s nico/pirlc-sampler-replacement
nico/pirlc-sampler-replacement
3m 11s
Replace PiRLC sampler in the canonical production path Test Workflow #419: Pull request #124 synchronize by nicarq
2m 27s nico/pirlc-sampler-replacement
nico/pirlc-sampler-replacement
2m 27s
Replace PiRLC sampler in the canonical production path Test Workflow #418: Pull request #124 synchronize by nicarq
2m 28s nico/pirlc-sampler-replacement
nico/pirlc-sampler-replacement
2m 28s
Replace PiRLC sampler in the canonical production path Test Workflow #417: Pull request #124 synchronize by nicarq
4m 8s nico/pirlc-sampler-replacement
nico/pirlc-sampler-replacement
4m 8s
Replace PiRLC sampler in the canonical production path Test Workflow #416: Pull request #124 synchronize by nicarq
4m 11s nico/pirlc-sampler-replacement
nico/pirlc-sampler-replacement
4m 11s
Replace PiRLC sampler in the canonical production path Test Workflow #415: Pull request #124 opened by nicarq
23s nico/pirlc-sampler-replacement
nico/pirlc-sampler-replacement
23s
Integrate the wide PiRLC sampler and wide-key security into Stage 1 Test Workflow #414: Pull request #123 synchronize by nicarq
2m 16s nico/pirlc-wide-sampler-integration
nico/pirlc-wide-sampler-integration
2m 16s
Integrate the wide PiRLC sampler and wide-key security into Stage 1 Test Workflow #413: Pull request #123 synchronize by nicarq
4m 12s nico/pirlc-wide-sampler-integration
nico/pirlc-wide-sampler-integration
4m 12s
Integrate the wide PiRLC sampler and wide-key security into Stage 1 Test Workflow #412: Pull request #123 synchronize by nicarq
2m 24s nico/pirlc-wide-sampler-integration
nico/pirlc-wide-sampler-integration
2m 24s
Integrate the wide PiRLC sampler and wide-key security into Stage 1 Test Workflow #411: Pull request #123 synchronize by nicarq
2m 53s nico/pirlc-wide-sampler-integration
nico/pirlc-wide-sampler-integration
2m 53s
Integrate the wide PiRLC sampler and wide-key security into Stage 1 Test Workflow #410: Pull request #123 synchronize by nicarq
2m 26s nico/pirlc-wide-sampler-integration
nico/pirlc-wide-sampler-integration
2m 26s
Integrate the wide PiRLC sampler and wide-key security into Stage 1 Test Workflow #409: Pull request #123 synchronize by nicarq
2m 27s nico/pirlc-wide-sampler-integration
nico/pirlc-wide-sampler-integration
2m 27s
Integrate the wide PiRLC sampler and wide-key security into Stage 1 Test Workflow #408: Pull request #123 synchronize by nicarq
27m 40s nico/pirlc-wide-sampler-integration
nico/pirlc-wide-sampler-integration
27m 40s