Skip to content

Actions: reilabs/lean-circuit-compiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Updated ExCircuit initialisation Build #4: Commit 39ea827 pushed by Eagle941
November 29, 2023 18:35 18s first_commit
first_commit
November 29, 2023 18:35 18s
Added gnark version switch Build #3: Commit d11ee38 pushed by Eagle941
November 29, 2023 18:17 33s first_commit
first_commit
November 29, 2023 18:17 33s
First commit Build #2: Commit dbb1e04 pushed by Eagle941
November 21, 2023 16:21 25s main
main
November 21, 2023 16:21 25s
First commit Build #1: Commit dbb1e04 pushed by Eagle941
November 21, 2023 16:17 54s first_commit
first_commit
November 21, 2023 16:17 54s