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

Cumulative updates #126

Merged
merged 5 commits into from
Feb 24, 2023
Merged

Cumulative updates #126

merged 5 commits into from
Feb 24, 2023

Conversation

pinkiebell
Copy link
Contributor

@pinkiebell pinkiebell commented Feb 24, 2023 •
edited
Loading

  • prover: use SingleStrategy in proof verification
  • prover: engage mock prover if mock_feedback is enabled and verification fails
  • add integration test status badges to readme

@pinkiebell pinkiebell merged commit e6d466a into master Feb 24, 2023
@pinkiebell pinkiebell deleted the 2023-02-24 branch February 24, 2023 10:14
@coveralls
Copy link

Pull Request Test Coverage Report for Build 4261213665

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.5%) to 90.149%
Totals Coverage Status
Change from base Build 4257329988: 0.5%
Covered Lines: 787
Relevant Lines: 873
💛 - Coveralls

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@pinkiebell @coveralls