Skip to content

Actions: reilabs/proven-zk

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactoring zmod_to_bit Build #113: Commit e682985 pushed by Eagle941
October 21, 2023 17:07 1m 41s new_theorems
new_theorems
October 21, 2023 17:07 1m 41s
Added theorems for delete circuit Build #112: Commit 0e12d80 pushed by Eagle941
October 21, 2023 12:39 1m 49s new_theorems
new_theorems
October 21, 2023 12:39 1m 49s
Added theorems for delete circuit Build #111: Commit eb20e61 pushed by Eagle941
October 21, 2023 12:30 1m 53s new_theorems
new_theorems
October 21, 2023 12:30 1m 53s