Skip to content

Actions: reilabs/gnark-lean-extractor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
272 workflow runs
272 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Support structs (#47) Build #272: Commit 11fa256 pushed by kustosz
July 24, 2024 12:15 2m 52s v2.4.0-0.8.0
v2.4.0-0.8.0
July 24, 2024 12:15 2m 52s
Support structs (#47) Build #271: Commit 11fa256 pushed by kustosz
July 24, 2024 12:07 26s v2.3.0-0.8.0
v2.3.0-0.8.0
July 24, 2024 12:07 26s
Support structs (#47) Build #270: Commit 11fa256 pushed by kustosz
July 24, 2024 12:04 20s main-0.8.0
main-0.8.0
July 24, 2024 12:04 20s
Support structs (#47) Build #269: Commit e378693 pushed by kustosz
July 24, 2024 11:35 2m 54s v2.3.0-0.8.0
v2.3.0-0.8.0
July 24, 2024 11:35 2m 54s
Support structs (#47) Build #268: Commit e378693 pushed by kustosz
July 24, 2024 11:33 27s main-0.8.0
main-0.8.0
July 24, 2024 11:33 27s
cleanup Build #267: Commit 915f74c pushed by kustosz
July 24, 2024 11:33 22s wip/mk/structs
wip/mk/structs
July 24, 2024 11:33 22s
support structs Build #266: Commit 6caf929 pushed by kustosz
July 24, 2024 11:30 3m 3s wip/mk/structs
wip/mk/structs
July 24, 2024 11:30 3m 3s
feat: gates version in header (#44) Build #265: Commit 37dfe6a pushed by kustosz
July 22, 2024 16:44 2m 55s main-0.8.0
main-0.8.0
July 22, 2024 16:44 2m 55s
Updated gnark Build #264: Commit 7eb67ad pushed by kustosz
July 17, 2024 14:45 35s v2.2.0-0.8
v2.2.0-0.8
July 17, 2024 14:45 35s
. Build #263: Commit 9eabf32 pushed by kustosz
May 14, 2024 12:10 38s wip/mk/vergo
wip/mk/vergo
May 14, 2024 12:10 38s
Bump Gnark to v0.9.2-0.20240322153533-3abde1199375 (#43) Build #262: Commit 663768c pushed by wzmuda
March 28, 2024 21:51 41s main
main
March 28, 2024 21:51 41s
Added GatesGnark9 header and updated to v3 Build #261: Commit 501e57e pushed by Eagle941
March 28, 2024 21:16 21s wz/update-gnark
wz/update-gnark
March 28, 2024 21:16 21s
feat: gates version in header (#44) Build #260: Commit 37dfe6a pushed by Eagle941
March 28, 2024 21:12 29s v2.2.0
v2.2.0
March 28, 2024 21:12 29s
feat: gates version in header (#44) Build #259: Commit 37dfe6a pushed by Eagle941
March 28, 2024 20:48 46s main
main
March 28, 2024 20:48 46s
Merge branch 'main' into gates_version Build #258: Commit b2c1329 pushed by Eagle941
March 28, 2024 08:28 23s gates_version
gates_version
March 28, 2024 08:28 23s
Updated ProvenZk dependency Build #257: Commit 4cb4ba8 pushed by Eagle941
March 25, 2024 22:50 18s gates_version
gates_version
March 25, 2024 22:50 18s
Added GatesGnark8 Build #256: Commit eb5aa69 pushed by Eagle941
March 25, 2024 22:10 35s gates_version
gates_version
March 25, 2024 22:10 35s
Bump Gnark to v0.9.2-0.20240322153533-3abde1199375 Build #255: Commit 4b0ae1c pushed by wzmuda
March 25, 2024 21:38 45s wz/update-gnark
wz/update-gnark
March 25, 2024 21:38 45s
Bump Gnark to v0.9.2-0.20240322153533-3abde1199375 Build #254: Commit 7498dec pushed by wzmuda
March 25, 2024 21:32 4m 46s wz/update-gnark
wz/update-gnark
March 25, 2024 21:32 4m 46s
Updated readme (#42) Build #253: Commit 9109bfe pushed by Eagle941
March 11, 2024 18:24 39s main
main
March 11, 2024 18:24 39s
Updated readme Build #252: Commit 47a2d9c pushed by Eagle941
February 29, 2024 18:38 1m 16s readme_update
readme_update
February 29, 2024 18:38 1m 16s
Updated gnark Build #251: Commit 7eb67ad pushed by Eagle941
November 29, 2023 18:40 1m 23s main-0.8.0
main-0.8.0
November 29, 2023 18:40 1m 23s
Fixed gnark version Build #250: Commit fe8ef53 pushed by Eagle941
November 29, 2023 18:39 2m 4s main-0.9.0
main-0.9.0
November 29, 2023 18:39 2m 4s
Added gnark switch Build #249: Commit f91bd79 pushed by Eagle941
November 29, 2023 18:21 29s main-0.8.0
main-0.8.0
November 29, 2023 18:21 29s
Added lean-circuit-compiler dependency Build #248: Commit 9fdbd13 pushed by Eagle941
November 28, 2023 20:18 38s main-0.8.0
main-0.8.0
November 28, 2023 20:18 38s