Skip to content

Actions: reilabs/proven-zk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 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
feat: new theorems (#18) Build #110: Commit 18e62cc pushed by Eagle941
October 16, 2023 16:22 1m 39s v1.1.0
v1.1.0
October 16, 2023 16:22 1m 39s
feat: new theorems (#18) Build #109: Commit 18e62cc pushed by Eagle941
October 16, 2023 16:20 1m 58s main
main
October 16, 2023 16:20 1m 58s
Fixed import cycle Build #108: Commit 0c34298 pushed by Eagle941
October 13, 2023 00:58 1m 41s new_theorems
new_theorems
October 13, 2023 00:58 1m 41s
Merge branch 'main' into new_theorems Build #107: Commit 881de36 pushed by Eagle941
October 13, 2023 00:43 1m 24s new_theorems
new_theorems
October 13, 2023 00:43 1m 24s
Refactoring proof Build #106: Commit 4901484 pushed by Eagle941
October 13, 2023 00:40 1m 37s new_theorems
new_theorems
October 13, 2023 00:40 1m 37s
Renamed front to dropLast Build #105: Commit 0728c96 pushed by Eagle941
October 13, 2023 00:38 1m 52s new_theorems
new_theorems
October 13, 2023 00:38 1m 52s
Added misc file Build #104: Commit a5998e4 pushed by Eagle941
October 11, 2023 23:01 1m 55s new_theorems
new_theorems
October 11, 2023 23:01 1m 55s
New vector theorems Build #103: Commit 6db0798 pushed by Eagle941
October 11, 2023 22:11 1m 47s new_theorems
new_theorems
October 11, 2023 22:11 1m 47s
New theorems Build #102: Commit 5f42162 pushed by Eagle941
October 10, 2023 23:15 1m 50s new_theorems
new_theorems
October 10, 2023 23:15 1m 50s
chore: Importing single mathlib modules instead of full library (#17) Build #101: Commit bd5edca pushed by Eagle941
October 10, 2023 11:49 2m 25s main
main
October 10, 2023 11:49 2m 25s
Added item_at_invariant theorem Build #100: Commit 008fbae pushed by Eagle941
October 10, 2023 11:13 1m 46s new_theorems
new_theorems
October 10, 2023 11:13 1m 46s
Refactoring Build #99: Commit da07cc8 pushed by Eagle941
October 10, 2023 00:53 2m 2s new_theorems
new_theorems
October 10, 2023 00:53 2m 2s
Added new theorems Build #98: Commit f7e6f84 pushed by Eagle941
October 10, 2023 00:26 2m 26s new_theorems
new_theorems
October 10, 2023 00:26 2m 26s
Merge branch 'main' into selective_import Build #97: Commit a27f90e pushed by Eagle941
September 17, 2023 12:28 2m 42s selective_import
selective_import
September 17, 2023 12:28 2m 42s
Importing single mathlib modules instead of full library Build #96: Commit d794aa6 pushed by Eagle941
September 17, 2023 12:27 28m 49s selective_import
selective_import
September 17, 2023 12:27 28m 49s
fix: added timeout workflow (#15) Build #95: Commit 85eb32f pushed by Eagle941
August 30, 2023 15:51 2m 55s main
main
August 30, 2023 15:51 2m 55s
Added foldr for vector Build #94: Commit fa2a6b0 pushed by Eagle941
August 16, 2023 18:28 1m 53s remove_panic
remove_panic
August 16, 2023 18:28 1m 53s