javapathfinder / javapathfinder/jpf-core

Investigate the feasibility of setting up CI builds/tests with another JDK

Open
#369 2 comments 0 reactions 0 assignees View on GitHub
java version
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.