javapathfinder / javapathfinder/jpf-core
Investigate the feasibility of setting up CI builds/tests with another JDK
- Dominant language
- Java
- Stars
- 618
- Forks
- 413
- Avg merge
- 3d 1h
- Merged PRs (30d)
- 6
Description
To reproduce the build/test failures we have on some systems, we currently use a local build. It would be desirable to have another build pipeline on CI to automate this task.
It is not sure if that is feasible due to licensing issues; can someone please investigate this?
As a starter, we want to see exactly which package needs to be used to reproduce the problems with the remaining two unit tests.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the existing local build used to reproduce failures and identify the package needed for the remaining two unit tests. Investigate whether that package can be used in a CI build/test pipeline under its licensing terms. Done means documenting feasibility and the required package or explaining why the pipeline cannot be added.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- build-system, ci-cd, testing
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100