Skip to content

Eliminate JitPack #1211

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.

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

Merged
merged 6 commits into from
Oct 27, 2022
Merged

Eliminate JitPack #1211

merged 6 commits into from
Oct 27, 2022

Conversation

denis-fokin
Copy link
Collaborator

Description

We are using jitpack to get a soot fork as a dependency. There were a number of issues with network and jitpack was unavailable. So we need to get rid of jitpack repository and substitute dependencies.

Type of Change

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

CI run

Automated Testing

No particular tests

Manual Scenario

Run local and github actions builds, check that the build is passed and artifacts are produced.

Checklist (remove irrelevant options):

  • [v] The change followed the style guidelines of the UTBot project
  • [v] Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • New documentation is provided or existed one is altered
  • [v] No new warnings
  • New tests have been added
  • [v] All tests pass locally with my changes

@denis-fokin denis-fokin enabled auto-merge (squash) October 21, 2022 13:23
@denis-fokin denis-fokin disabled auto-merge October 21, 2022 13:31
@denis-fokin denis-fokin enabled auto-merge (squash) October 21, 2022 13:32
@denis-fokin denis-fokin changed the title Eliminate jitpack Eliminate JitPack Oct 21, 2022
@denis-fokin
Copy link
Collaborator Author

denis-fokin commented Oct 21, 2022

It is important to verify that the next commit is included in the soot dependency

soot-oss/soot@2035cf6

@denis-fokin denis-fokin force-pushed the denis-fokin/eliminate-jitpack branch from 979f72b to 2d0e772 Compare October 24, 2022 17:11
@denis-fokin denis-fokin merged commit 83750d3 into main Oct 27, 2022
@denis-fokin denis-fokin deleted the denis-fokin/eliminate-jitpack branch October 27, 2022 12:09
sergeypospelov added a commit that referenced this pull request Oct 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants