Skip to content

Actions: circify/circ

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

optimize bellman ZK prover backend Build & Test #778: Pull request #182 synchronize by alex-ozdemir
January 4, 2024 00:04 10m 17s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 4, 2024 00:04 10m 17s
optimize bellman ZK prover backend Build & Test #777: Pull request #182 synchronize by alex-ozdemir
January 3, 2024 23:45 7m 48s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 3, 2024 23:45 7m 48s
optimize bellman ZK prover backend Build & Test #776: Pull request #182 opened by alex-ozdemir
January 3, 2024 23:44 7m 33s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 3, 2024 23:44 7m 33s
lint (#181) Build & Test #775: Commit 6133414 pushed by alex-ozdemir
December 13, 2023 16:17 13m 34s master
master
December 13, 2023 16:17 13m 34s
lint Build & Test #774: Pull request #181 opened by alex-ozdemir
December 13, 2023 16:01 13m 50s alex-ozdemir:lint
alex-ozdemir:lint
December 13, 2023 16:01 13m 50s
mem notes Build & Test #773: Commit 697c240 pushed by alex-ozdemir
December 13, 2023 03:24 8m 1s master
master
December 13, 2023 03:24 8m 1s
zxi now takes optional inputs (#180) Build & Test #772: Commit a26533b pushed by alex-ozdemir
November 15, 2023 21:46 5m 3s master
master
November 15, 2023 21:46 5m 3s
zxi now takes optional inputs Build & Test #771: Pull request #180 opened by alex-ozdemir
November 15, 2023 19:51 5m 13s alex-ozdemir:zxi-with-inputs
alex-ozdemir:zxi-with-inputs
November 15, 2023 19:51 5m 13s
add sample_challenge builtin (#179) Build & Test #770: Commit fca98dd pushed by alex-ozdemir
November 15, 2023 17:59 5m 25s master
master
November 15, 2023 17:59 5m 25s
add sample_challenge builtin Build & Test #769: Pull request #179 opened by alex-ozdemir
November 15, 2023 17:53 5m 11s alex-ozdemir:rand
alex-ozdemir:rand
November 15, 2023 17:53 5m 11s
Optimized transcript checking for covering ROMs (#178) Build & Test #768: Commit 7a80532 pushed by alex-ozdemir
November 15, 2023 02:20 13m 20s master
master
November 15, 2023 02:20 13m 20s
Optimized transcript checking for covering ROMs Build & Test #767: Pull request #178 synchronize by alex-ozdemir
November 15, 2023 02:05 13m 10s alex-ozdemir:rom
alex-ozdemir:rom
November 15, 2023 02:05 13m 10s
Optimized transcript checking for covering ROMs Build & Test #766: Pull request #178 opened by alex-ozdemir
November 14, 2023 22:56 18m 23s alex-ozdemir:rom
alex-ozdemir:rom
November 14, 2023 22:56 18m 23s
User-directed transcript-based RAM checking. (#176) Build & Test #765: Commit 68b0b45 pushed by alex-ozdemir
November 3, 2023 06:50 6m 57s master
master
November 3, 2023 06:50 6m 57s
User-directed transcript-based RAM checking. Build & Test #764: Pull request #176 synchronize by alex-ozdemir
November 2, 2023 23:16 8m 33s alex-ozdemir:targetted-ram
alex-ozdemir:targetted-ram
November 2, 2023 23:16 8m 33s
User-directed transcript-based RAM checking. Build & Test #763: Pull request #176 synchronize by alex-ozdemir
November 2, 2023 23:08 6m 50s alex-ozdemir:targetted-ram
alex-ozdemir:targetted-ram
November 2, 2023 23:08 6m 50s
User-directed transcript-based RAM checking. Build & Test #762: Pull request #176 opened by alex-ozdemir
November 2, 2023 23:04 2m 3s alex-ozdemir:targetted-ram
alex-ozdemir:targetted-ram
November 2, 2023 23:04 2m 3s
r1cs optimization bugfix: use tracking (#175) Build & Test #761: Commit c035529 pushed by alex-ozdemir
October 31, 2023 18:41 20m 7s master
master
October 31, 2023 18:41 20m 7s
r1cs optimization bugfix: use tracking Build & Test #760: Pull request #175 opened by alex-ozdemir
October 31, 2023 18:17 23m 38s alex-ozdemir:fix-r1cs-opt
alex-ozdemir:fix-r1cs-opt
October 31, 2023 18:17 23m 38s
RAM for non-scalar values (#174) Build & Test #759: Commit 805a7f4 pushed by alex-ozdemir
October 18, 2023 05:04 20m 27s master
master
October 18, 2023 05:04 20m 27s
RAM for non-scalar values Build & Test #758: Pull request #174 opened by alex-ozdemir
October 17, 2023 16:56 20m 32s alex-ozdemir:non-scalar-ram
alex-ozdemir:non-scalar-ram
October 17, 2023 16:56 20m 32s