This repository has been archived by the owner on Jul 10, 2023. It is now read-only.

Cumulative updates #129

Merged

pinkiebell merged 4 commits into master from 2023-02-24

Feb 24, 2023

Contributor

pinkiebell commented Feb 24, 2023

add snark-verifier parallel feature flag
fix autogen on ref protect branches to push to a dedicated branch instead
small cosmetic change in prover/autogen

pinkiebell added 3 commits

February 24, 2023 11:25


          add parralel feature

55d9df5


          prover/autogen: small cleanup

4713c86

wip

202a2d9

coveralls commented Feb 24, 2023

Pull Request Test Coverage Report for Build 4264319993

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at 89.691%

Totals
Change from base Build 4261448670:	0.0%
Covered Lines:	783
Relevant Lines:	873

💛 - Coveralls


          updates from autogen workflow

1774bce

pinkiebell enabled auto-merge

February 24, 2023 19:04

pinkiebell disabled auto-merge

February 24, 2023 19:06

pinkiebell merged commit ddb0dcc into master

pinkiebell deleted the 2023-02-24 branch

February 24, 2023 19:06

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.