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

Porting CI fixes from develop and berkeley #14638

Merged
merged 2 commits into from
Nov 30, 2023
Merged

Porting CI fixes from develop and berkeley #14638

merged 2 commits into from
Nov 30, 2023

Conversation

dkijania
Copy link
Member

Port Ci fixes to rampup:

  • Fix sexpdata version for version-linter script
  • Make a soft_fail for delegation backend unit test
  • Always use berkeley testnet for fetching debian package for SnarkProfiler

@dkijania dkijania self-assigned this Nov 29, 2023
@dkijania
Copy link
Member Author

!ci-build-me

@dkijania dkijania marked this pull request as ready for review November 29, 2023 20:09
@dkijania dkijania requested a review from a team as a code owner November 29, 2023 20:09
@dkijania
Copy link
Member Author

!ci-build-me

@deepthiskumar
Copy link
Member

!approved-for-mainnet

@deepthiskumar deepthiskumar merged commit 61e84e0 into rampup Nov 30, 2023
19 of 23 checks passed
@deepthiskumar deepthiskumar deleted the dkijania/port_ci_fixes_to_rampup branch November 30, 2023 21:55
@mrmr1993 mrmr1993 mentioned this pull request Aug 31, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@deepthiskumar deepthiskumar deepthiskumar approved these changes

@georgeee georgeee Awaiting requested review from georgeee

Assignees

@dkijania dkijania

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dkijania @deepthiskumar