Skip to content

Actions: Veridise/circom

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
685 workflow runs
685 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[VAN-545] extract loop body to separate function before unrolling
Transition Issue to In Review #16: Pull request #52 opened by tim-hoffman
September 6, 2023 15:14 4s th/loop-body-extraction
September 6, 2023 15:14 4s
Additional tests for current state of loop unrolling (#50)
CI #115: Commit 5da5ac4 pushed by tim-hoffman
August 29, 2023 16:11 4m 59s llvm
August 29, 2023 16:11 4m 59s
Additional tests for current state of loop unrolling
Transition Issue to Done #16: Pull request #50 closed by tim-hoffman
August 29, 2023 16:11 17s th/more-loop-tests
August 29, 2023 16:11 17s
Transition Issue to "To Merge" State
Transition Issue to "To Merge" State #17: submitted by kferles
August 29, 2023 16:08 21s
August 29, 2023 16:08 21s
August 29, 2023 09:45 29s
Additional tests for current state of loop unrolling
CI #112: Pull request #50 opened by tim-hoffman
August 29, 2023 03:21 4m 37s th/more-loop-tests
August 29, 2023 03:21 4m 37s
Additional tests for current state of loop unrolling
Transition Issue to In Review #15: Pull request #50 opened by tim-hoffman
August 29, 2023 03:21 18s th/more-loop-tests
August 29, 2023 03:21 18s
Add regression tests for loop unrolling
Transition Issue to Done #14: Pull request #49 closed by tim-hoffman
August 26, 2023 19:39 16s th/loop-regr-tests
August 26, 2023 19:39 16s
Add regression tests for loop unrolling (#49)
CI #111: Commit 2a69d6a pushed by tim-hoffman
August 26, 2023 19:39 37s llvm
August 26, 2023 19:39 37s
Transition Issue to "To Merge" State
Transition Issue to "To Merge" State #16: submitted by kferles
August 25, 2023 20:10 20s
August 25, 2023 20:10 20s
Add regression tests for loop unrolling
Transition Issue to In Review #14: Pull request #49 opened by tim-hoffman
August 25, 2023 19:37 18s th/loop-regr-tests
August 25, 2023 19:37 18s
Add regression tests for loop unrolling
CI #110: Pull request #49 opened by tim-hoffman
August 25, 2023 19:37 4m 57s th/loop-regr-tests
August 25, 2023 19:37 4m 57s
apply auto-formatting (#48)
CI #109: Commit 58c3c94 pushed by tim-hoffman
August 22, 2023 21:49 39s llvm
August 22, 2023 21:49 39s
apply auto-formatting
Transition Issue to Done #13: Pull request #48 closed by tim-hoffman
August 22, 2023 21:49 18s th/formatting
August 22, 2023 21:49 18s
Transition Issue to "To Merge" State
Transition Issue to "To Merge" State #15: submitted by kferles
August 22, 2023 21:48 15s
August 22, 2023 21:48 15s
apply auto-formatting
Transition Issue to In Review #13: Pull request #48 opened by tim-hoffman
August 22, 2023 21:42 19s th/formatting
August 22, 2023 21:42 19s
apply auto-formatting
CI #108: Pull request #48 opened by tim-hoffman
August 22, 2023 21:42 5m 32s th/formatting
August 22, 2023 21:42 5m 32s
[VAN-503] Convert to/from i1 as needed
Transition Issue to Done #12: Pull request #47 closed by iangneal
August 18, 2023 22:53 18s iangneal/VAN-503
August 18, 2023 22:53 18s
ProTip! You can narrow down the results and go further in time using created:<2023-08-18 or the other filters available.