Skip to content

Actions: Veridise/circom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
348 workflow runs
348 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

assorted minor cleanup and correct an error message CI (circom-to-llzk) #345: Pull request #296 opened by tim-hoffman
10m 41s th/cleanup
th/cleanup
10m 41s
Fix incorrect subcmp signal assignment (#295) CI (circom-to-llzk) #344: Commit e64b64b pushed by 0xddom
10m 31s llzk
llzk
10m 31s
Fix incorrect subcmp signal assignment CI (circom-to-llzk) #343: Pull request #295 synchronize by 0xddom
10m 43s dani/fix-subcmps-with-many-inputs
dani/fix-subcmps-with-many-inputs
10m 43s
Fix incorrect subcmp signal assignment CI (circom-to-llzk) #342: Pull request #295 synchronize by 0xddom
10m 0s dani/fix-subcmps-with-many-inputs
dani/fix-subcmps-with-many-inputs
10m 0s
Fix incorrect subcmp signal assignment CI (circom-to-llzk) #341: Pull request #295 opened by 0xddom
10m 51s dani/fix-subcmps-with-many-inputs
dani/fix-subcmps-with-many-inputs
10m 51s
Handle err (BlockArgument) case of OperationResult::try_from (#293) CI (circom-to-llzk) #340: Commit 5c4d093 pushed by 0xddom
10m 47s llzk
llzk
10m 47s
Properly handle Err (i.e. BlockArgument) case of OperationResult::try_from CI (circom-to-llzk) #339: Pull request #293 opened by tim-hoffman
10m 34s th/fix_improper_opref_cast
th/fix_improper_opref_cast
10m 34s
fix bug in while loop translation (#288) CI (circom-to-llzk) #338: Commit 8e33e31 pushed by tim-hoffman
10m 14s llzk
llzk
10m 14s
fix bug in while loop translation CI (circom-to-llzk) #337: Pull request #288 synchronize by tim-hoffman
10m 49s th/fix_while_gen_error
th/fix_while_gen_error
10m 49s
fix bug in while loop translation CI (circom-to-llzk) #336: Pull request #288 synchronize by tim-hoffman
10m 55s th/fix_while_gen_error
th/fix_while_gen_error
10m 55s
support using struct parameter value (#287) CI (circom-to-llzk) #335: Commit 3f91e0f pushed by tim-hoffman
10m 50s llzk
llzk
10m 50s
Handle clippy warnings and formatting (#289) CI (circom-to-llzk) #334: Commit c22c02d pushed by tim-hoffman
11m 1s llzk
llzk
11m 1s
Handle clippy warnings and formatting CI (circom-to-llzk) #333: Pull request #289 opened by tim-hoffman
10m 41s th/clippy
th/clippy
10m 41s
support using struct parameter value CI (circom-to-llzk) #332: Pull request #287 synchronize by tim-hoffman
10m 39s th/resolve_270
th/resolve_270
10m 39s
Subcomponents handling (#230) CI (circom-to-llzk) #331: Commit 009624f pushed by 0xddom
11m 2s llzk
llzk
11m 2s
fix bug in while loop translation CI (circom-to-llzk) #330: Pull request #288 opened by tim-hoffman
10m 39s th/fix_while_gen_error
th/fix_while_gen_error
10m 39s
Subcomponents handling CI (circom-to-llzk) #329: Pull request #230 synchronize by 0xddom
9m 49s dani/subcmps
dani/subcmps
9m 49s
Subcomponents handling CI (circom-to-llzk) #328: Pull request #230 synchronize by 0xddom
9m 43s dani/subcmps
dani/subcmps
9m 43s
Subcomponents handling CI (circom-to-llzk) #327: Pull request #230 synchronize by 0xddom
10m 50s dani/subcmps
dani/subcmps
10m 50s
support using struct parameter value CI (circom-to-llzk) #326: Pull request #287 opened by tim-hoffman
10m 54s th/resolve_270
th/resolve_270
10m 54s
Subcomponents handling CI (circom-to-llzk) #325: Pull request #230 synchronize by 0xddom
10m 49s dani/subcmps
dani/subcmps
10m 49s
Subcomponents handling CI (circom-to-llzk) #324: Pull request #230 synchronize by 0xddom
10m 45s dani/subcmps
dani/subcmps
10m 45s
Subcomponents handling CI (circom-to-llzk) #323: Pull request #230 synchronize by 0xddom
11m 14s dani/subcmps
dani/subcmps
11m 14s
Subcomponents handling CI (circom-to-llzk) #322: Pull request #230 synchronize by 0xddom
11m 13s dani/subcmps
dani/subcmps
11m 13s
Subcomponents handling CI (circom-to-llzk) #321: Pull request #230 synchronize by 0xddom
11m 13s dani/subcmps
dani/subcmps
11m 13s