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

chore: refactoring Hash.lean (#21) Build #138: Commit 1f19c61 pushed by Eagle941
November 29, 2023 12:06 1m 12s v1.2.1
v1.2.1
November 29, 2023 12:06 1m 12s
chore: refactoring Hash.lean (#21) Build #137: Commit 1f19c61 pushed by Eagle941
November 29, 2023 12:05 1m 15s main
main
November 29, 2023 12:05 1m 15s
Renamed simp_hash to CollisionResistant_def Build #136: Commit 0b6258f pushed by Eagle941
November 29, 2023 12:03 1m 18s refactor_hash
refactor_hash
November 29, 2023 12:03 1m 18s
Renamed perfect_hash to CollisionResistant Build #135: Commit b67599c pushed by Eagle941
November 29, 2023 11:55 1m 21s refactor_hash
refactor_hash
November 29, 2023 11:55 1m 21s
Wip Build #134: Commit edd9da9 pushed by Eagle941
November 29, 2023 11:40 1m 18s gates_equivalence
gates_equivalence
November 29, 2023 11:40 1m 18s
feat: New theorems (#19) Build #133: Commit 474d69f pushed by Eagle941
November 28, 2023 15:27 1m 17s v1.2.0
v1.2.0
November 28, 2023 15:27 1m 17s
feat: New theorems (#19) Build #132: Commit 474d69f pushed by kustosz
November 28, 2023 15:24 2m 11s main
main
November 28, 2023 15:24 2m 11s
Proofs improvements Build #131: Commit e9350ed pushed by Eagle941
November 25, 2023 18:59 1m 25s gates_equivalence
gates_equivalence
November 25, 2023 18:59 1m 25s
Fixing misc theorems Build #130: Commit 96f5f77 pushed by Eagle941
November 25, 2023 18:33 2m 25s gates_equivalence
gates_equivalence
November 25, 2023 18:33 2m 25s
Added gates semantic equivalence Build #129: Commit 73e6f80 pushed by Eagle941
November 25, 2023 17:55 1m 25s gates_equivalence
gates_equivalence
November 25, 2023 17:55 1m 25s
Updated to lean 4.2.0 Build #128: Commit 80c7e68 pushed by Eagle941
November 17, 2023 20:26 2m 6s mathlib_update
mathlib_update
November 17, 2023 20:26 2m 6s
Fixed names Build #127: Commit 9fc2a8d pushed by Eagle941
November 15, 2023 03:27 2m 18s new_theorems
new_theorems
November 15, 2023 03:27 2m 18s
Updated vector Build #126: Commit 67ed8a5 pushed by Eagle941
November 15, 2023 03:17 1m 41s new_theorems
new_theorems
November 15, 2023 03:17 1m 41s
Fixed imports Build #125: Commit 89c96ee pushed by Eagle941
November 15, 2023 02:46 1m 42s new_theorems
new_theorems
November 15, 2023 02:46 1m 42s
Added bit theorems Build #124: Commit 87915b4 pushed by Eagle941
November 15, 2023 02:05 2m 48s new_theorems
new_theorems
November 15, 2023 02:05 2m 48s
Added import Build #123: Commit c47129d pushed by Eagle941
November 15, 2023 01:48 1m 35s new_theorems
new_theorems
November 15, 2023 01:48 1m 35s
Added keccak utils Build #122: Commit c612b94 pushed by Eagle941
November 15, 2023 01:47 1m 32s new_theorems
new_theorems
November 15, 2023 01:47 1m 32s
New theorems Build #121: Commit cb1288d pushed by Eagle941
November 15, 2023 00:43 3m 0s new_theorems
new_theorems
November 15, 2023 00:43 3m 0s
New merkle tree theorems Build #120: Commit b2be7e0 pushed by Eagle941
November 9, 2023 23:25 1m 37s new_theorems
new_theorems
November 9, 2023 23:25 1m 37s
Added theorems Build #119: Commit a1e766a pushed by Eagle941
November 9, 2023 17:51 3m 27s new_theorems
new_theorems
November 9, 2023 17:51 3m 27s
Removed unused comments Build #118: Commit 25ab09a pushed by Eagle941
November 3, 2023 15:51 2m 16s new_theorems
new_theorems
November 3, 2023 15:51 2m 16s
New merkletree proof Build #117: Commit b12b886 pushed by Eagle941
November 3, 2023 15:46 1m 41s new_theorems
new_theorems
November 3, 2023 15:46 1m 41s
New theorems for deletion circuit and updated mathlib Build #116: Commit 4d6558d pushed by Eagle941
October 27, 2023 22:07 2m 9s new_theorems
new_theorems
October 27, 2023 22:07 2m 9s
Merkle theorem Build #115: Commit 5803737 pushed by Eagle941
October 25, 2023 19:17 1m 49s new_theorems
new_theorems
October 25, 2023 19:17 1m 49s
New binary theorems Build #114: Commit d1ac176 pushed by Eagle941
October 21, 2023 17:20 1m 36s new_theorems
new_theorems
October 21, 2023 17:20 1m 36s