Skip to content

Actions: kkrt-labs/stwo-brainfuck

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
242 workflow runs
242 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add memory constraints CI #167: Pull request #105 opened by zmalatrax
November 27, 2024 11:56 1m 21s feat/memory-constraints
feat/memory-constraints
November 27, 2024 11:56 1m 21s
feat: add preprocessed traces of various log size CI #166: Pull request #104 opened by zmalatrax
November 27, 2024 11:30 1m 29s feat/memory-preprocessed-trace
feat/memory-preprocessed-trace
November 27, 2024 11:30 1m 29s
feat: add memory component to BrainfuckComponents CI #165: Pull request #103 opened by zmalatrax
November 27, 2024 11:27 1m 25s feat/memory-to-brainfuck-components
feat/memory-to-brainfuck-components
November 27, 2024 11:27 1m 25s
feat: scaffold Memory component CI #164: Pull request #99 opened by zmalatrax
November 27, 2024 08:50 1m 24s feat/scaffold-memory-component
feat/scaffold-memory-component
November 27, 2024 08:50 1m 24s
feat: add interaction trace to prove_brainfuck entrypoint CI #163: Pull request #97 opened by zmalatrax
November 27, 2024 08:33 1m 29s feat/memory-interaction-prove-brainfuck
feat/memory-interaction-prove-brainfuck
November 27, 2024 08:33 1m 29s
refactor: refactor verify_brainfuck entrypoint for preprocessed columns CI #162: Pull request #96 opened by zmalatrax
November 26, 2024 18:50 1m 23s feat/preprocessed-verify-brainfuck
feat/preprocessed-verify-brainfuck
November 26, 2024 18:50 1m 23s
feat: implement the trace_evaluationfor the ProcessorTable CI #161: Pull request #95 synchronize by tcoratger
November 26, 2024 18:45 1m 25s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:45 1m 25s
feat: implement the trace_evaluationfor the ProcessorTable CI #160: Pull request #95 synchronize by tcoratger
November 26, 2024 18:25 1m 24s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:25 1m 24s
feat: implement the trace_evaluationfor the ProcessorTable CI #159: Pull request #95 synchronize by tcoratger
November 26, 2024 18:21 1m 25s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:21 1m 25s
feat: implement the trace_evaluationfor the ProcessorTable CI #158: Pull request #95 synchronize by tcoratger
November 26, 2024 18:20 1m 23s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:20 1m 23s
feat: implement the trace_evaluationfor the ProcessorTable CI #157: Pull request #95 opened by tcoratger
November 26, 2024 18:20 1m 29s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:20 1m 29s
prover: add Claim pub types CI #156: Pull request #94 opened by tcoratger
November 26, 2024 18:06 1m 31s tcoratger:Claim-types
tcoratger:Claim-types
November 26, 2024 18:06 1m 31s
abstract Claim for multiple traces CI #155: Pull request #93 synchronize by tcoratger
November 26, 2024 17:24 1m 28s tcoratger:trace-enum
tcoratger:trace-enum
November 26, 2024 17:24 1m 28s
abstract Claim for multiple traces CI #154: Pull request #93 synchronize by tcoratger
November 26, 2024 17:22 1m 18s tcoratger:trace-enum
tcoratger:trace-enum
November 26, 2024 17:22 1m 18s
abstract Claim for multiple traces CI #153: Pull request #93 synchronize by tcoratger
November 26, 2024 15:38 1m 25s tcoratger:trace-enum
tcoratger:trace-enum
November 26, 2024 15:38 1m 25s
abstract Claim for multiple traces CI #152: Pull request #93 synchronize by tcoratger
November 26, 2024 15:11 1m 32s tcoratger:trace-enum
tcoratger:trace-enum
November 26, 2024 15:11 1m 32s
abstract Claim for multiple traces CI #151: Pull request #93 opened by tcoratger
November 26, 2024 12:53 1m 25s tcoratger:trace-enum
tcoratger:trace-enum
November 26, 2024 12:53 1m 25s
feat: add interaction trace evaluation CI #150: Pull request #91 synchronize by zmalatrax
November 26, 2024 09:41 1m 22s feat/memory-interaction-trace
feat/memory-interaction-trace
November 26, 2024 09:41 1m 22s
feat: add interaction trace evaluation CI #149: Pull request #91 synchronize by zmalatrax
November 26, 2024 09:39 1m 30s feat/memory-interaction-trace
feat/memory-interaction-trace
November 26, 2024 09:39 1m 30s
implement From<Vec<Registers>> to ProcessorTable CI #148: Pull request #80 synchronize by rkdud007
November 26, 2024 02:20 1m 30s rkdud007:processor-trait
rkdud007:processor-trait
November 26, 2024 02:20 1m 30s
feat: add interaction trace evaluation CI #147: Pull request #91 synchronize by zmalatrax
November 25, 2024 16:23 1m 23s feat/memory-interaction-trace
feat/memory-interaction-trace
November 25, 2024 16:23 1m 23s
feat: add interaction trace evaluation CI #146: Pull request #91 synchronize by zmalatrax
November 25, 2024 16:18 1m 26s feat/memory-interaction-trace
feat/memory-interaction-trace
November 25, 2024 16:18 1m 26s
feat: add interaction trace evaluation CI #145: Pull request #91 opened by zmalatrax
November 25, 2024 16:09 1m 54s feat/memory-interaction-trace
feat/memory-interaction-trace
November 25, 2024 16:09 1m 54s
implement From<Vec<Registers>> to ProcessorTable CI #144: Pull request #80 synchronize by rkdud007
November 25, 2024 14:09 1m 36s rkdud007:processor-trait
rkdud007:processor-trait
November 25, 2024 14:09 1m 36s
implement From<Vec<Registers>> to ProcessorTable CI #143: Pull request #80 synchronize by zmalatrax
November 25, 2024 12:27 1m 30s rkdud007:processor-trait
rkdud007:processor-trait
November 25, 2024 12:27 1m 30s