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

Prover: switch the go import path to linea-monorepo #20

Merged
merged 4 commits into from
Sep 13, 2024
Merged

Prover: switch the go import path to linea-monorepo #20

merged 4 commits into from
Sep 13, 2024

Conversation

AlexandreBelling
Copy link
Contributor

@AlexandreBelling AlexandreBelling commented Sep 11, 2024 •
edited
Loading

This PR switchs the go module name to linea-monorepo

Checklist

  • I wrote new tests for my new core changes.
  • I have successfully ran tests, style checker and build against my new changes locally.
  • I have informed the team of any breaking changes if there are any.

@AlexandreBelling AlexandreBelling self-assigned this Sep 11, 2024
@github-actions GitHub Actions
Copy link

github-actions bot commented Sep 12, 2024 •
edited
Loading

Delta Summary - Kotlin Code Coverage
Generated on: 09/13/2024 - 11:59
Description Previous Current Delta
Coverage date: 09/13/2024 - 11:59 09/13/2024 - 11:59
Tag: 96_10848531868 96_10848531868
Line coverage: 27.6% 27.6% 0.0%
Covered lines: 26065 26065 0
Coverable lines: 94280 94280 0
Total lines: 133202 133202 0
Branch coverage: 10.5% 10.5% 0.0%
Covered branches: 5638 5638 0
Total branches: 53419 53419 0
Method coverage: Feature is only available for sponsors

@jpnovais
Copy link
Collaborator

@AlexandreBelling can you please fix the conflicts?

@AlexandreBelling AlexandreBelling force-pushed the prover/switch-pakage-name branch from 77f08f1 to 685991e Compare September 13, 2024 11:46
@AlexandreBelling AlexandreBelling merged commit e63c730 into main Sep 13, 2024
19 of 22 checks passed
@AlexandreBelling AlexandreBelling deleted the prover/switch-pakage-name branch September 13, 2024 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Soleimani193 Soleimani193 Soleimani193 approved these changes

@gusiri gusiri gusiri approved these changes

@jpnovais jpnovais jpnovais approved these changes

@julien-marchand julien-marchand Awaiting requested review from julien-marchand

@Tabaie Tabaie Awaiting requested review from Tabaie

@bogdanbear bogdanbear Awaiting requested review from bogdanbear

Assignees

@AlexandreBelling AlexandreBelling

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@AlexandreBelling @jpnovais @gusiri @Soleimani193