Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

cleanup and prover network #56

Merged
merged 40 commits into from Sep 25, 2022
Merged

cleanup and prover network #56

merged 40 commits into from Sep 25, 2022

Conversation

Trivo25
Copy link
Owner

@Trivo25 Trivo25 commented Sep 25, 2022 •
edited

  • cleanup
  • better structure
  • introduce prover network
  • ...

@Trivo25 Trivo25 merged commit b8d9770 into main Sep 25, 2022
@Trivo25 Trivo25 deleted the develop branch September 25, 2022 10:37
@Trivo25 Trivo25 restored the develop branch September 25, 2022 10:37
@sonarcloud
Copy link

sonarcloud bot commented Sep 25, 2022

SonarCloud Quality Gate failed.    Quality Gate failed

Bug C 2 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot E 1 Security Hotspot
Code Smell A 36 Code Smells

No Coverage information No Coverage information
2.3% 2.3% Duplication

@lgtm-com
Copy link

lgtm-com bot commented Sep 25, 2022

This pull request introduces 8 alerts and fixes 2 when merging 3548368 into 2e55edd - view on LGTM.com

new alerts:

  • 4 for Unused variable, import, function or class
  • 3 for Expression has no effect
  • 1 for Missing await

fixed alerts:

  • 2 for Unused variable, import, function or class

@Trivo25 Trivo25 changed the title Develop cleanup and prover network Oct 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
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
1 participant
@Trivo25