Skip to content

Actions: scroll-tech/halo2

Actions

CI checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
239 workflow runs
239 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix: false alarm in phase check of mock prover CI checks #540: Pull request #61 opened by kunxian-xia
August 17, 2023 04:21 31s fix/mock-phase-check
fix/mock-phase-check
August 17, 2023 04:21 31s
fix false alarm in phase check of mock prover CI checks #539: Commit 8fd4ac5 pushed by kunxian-xia
August 17, 2023 04:07 28s fix/mock-phase-check
fix/mock-phase-check
August 17, 2023 04:07 28s
will this optimisation improve a little bit performace? CI checks #538: Pull request #60 synchronize by lightsing
August 16, 2023 10:03 27s feat/simpify-expr
feat/simpify-expr
August 16, 2023 10:03 27s
add rule (poly + poly1) + poly = poly * 2 + poly1 CI checks #537: Commit 839f113 pushed by lightsing
August 16, 2023 10:03 23s feat/simpify-expr
feat/simpify-expr
August 16, 2023 10:03 23s
will this optimisation improve a little bit performace? CI checks #536: Pull request #60 opened by lightsing
August 16, 2023 09:28 31s feat/simpify-expr
feat/simpify-expr
August 16, 2023 09:28 31s
will this optimization improve a little bit performace? CI checks #535: Commit c01a30c pushed by lightsing
August 16, 2023 09:26 29s feat/simpify-expr
feat/simpify-expr
August 16, 2023 09:26 29s
Multi-input mv-lookup. CI checks #534: Pull request #49 synchronize by spherel
August 11, 2023 00:15 24s geometryxyz:develop-mvlookup
geometryxyz:develop-mvlookup
August 11, 2023 00:15 24s
Multi-input mv-lookup. CI checks #533: Pull request #49 synchronize by spherel
August 11, 2023 00:11 23s geometryxyz:develop-mvlookup
geometryxyz:develop-mvlookup
August 11, 2023 00:11 23s
Develop CI checks #532: Pull request #42 synchronize by lispc
August 7, 2023 10:58 28s develop
develop
August 7, 2023 10:58 28s
MockProver can report phase error better CI checks #531: Commit 01f0b52 pushed by lispc
August 7, 2023 10:58 31s develop
develop
August 7, 2023 10:58 31s
fix-tob-scroll-21 CI checks #530: Pull request #59 opened by zhenfeizhang
July 31, 2023 17:01 41s fix-tob-scroll-21
fix-tob-scroll-21
July 31, 2023 17:01 41s
fix-tob-scroll-21 CI checks #529: Commit f2a769b pushed by zhenfeizhang
July 31, 2023 17:00 29s fix-tob-scroll-21
fix-tob-scroll-21
July 31, 2023 17:00 29s
derive Eq for cs CI checks #528: Commit 4d8a405 pushed by zhenfeizhang
July 31, 2023 16:57 30s fix-tob-scroll-21
fix-tob-scroll-21
July 31, 2023 16:57 30s
Develop CI checks #527: Pull request #42 synchronize by lispc
July 21, 2023 09:39 31s develop
develop
July 21, 2023 09:39 31s
derive Eq for cs CI checks #526: Commit 4d8a405 pushed by lispc
July 21, 2023 09:39 26s develop
develop
July 21, 2023 09:39 26s
Develop CI checks #525: Pull request #42 synchronize by lispc
July 21, 2023 09:13 31s develop
develop
July 21, 2023 09:13 31s
change ConstraintSystem::general_column_annotations from hashmap to b… CI checks #524: Commit 7012b49 pushed by lispc
July 21, 2023 09:13 34s develop
develop
July 21, 2023 09:13 34s
Use thread pool for assign_regions CI checks #523: Pull request #57 synchronize by alannotnerd
July 20, 2023 01:43 26s alannotnerd:develop
alannotnerd:develop
July 20, 2023 01:43 26s
Use thread pool for assign_regions CI checks #522: Pull request #57 synchronize by alannotnerd
July 20, 2023 01:43 26s alannotnerd:develop
alannotnerd:develop
July 20, 2023 01:43 26s
Use thread pool for assign_regions CI checks #520: Pull request #57 opened by alannotnerd
July 19, 2023 07:35 31s alannotnerd:develop
alannotnerd:develop
July 19, 2023 07:35 31s
Develop CI checks #519: Pull request #42 synchronize by kunxian-xia
July 18, 2023 14:54 27s develop
develop
July 18, 2023 14:54 27s
Fix clippy warnings and comment out outdated integration test cases (… CI checks #518: Commit fcf53dc pushed by kunxian-xia
July 18, 2023 14:54 26s develop
develop
July 18, 2023 14:54 26s
Fix clippy warnings and comment out outdated integration test cases CI checks #517: Pull request #56 opened by kunxian-xia
July 18, 2023 14:50 23s fix/lint-fmt
fix/lint-fmt
July 18, 2023 14:50 23s
comment out inconsistency tests CI checks #516: Commit 0298ba5 pushed by kunxian-xia
July 18, 2023 14:47 28s fix/lint-fmt
fix/lint-fmt
July 18, 2023 14:47 28s
Use thread pool for assign_regions CI checks #515: Pull request #55 opened by alannotnerd
July 18, 2023 08:19 26s alannotnerd:scroll-dev-0220
alannotnerd:scroll-dev-0220
July 18, 2023 08:19 26s