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

Fix exploration tests #7719

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Fix exploration tests #7719

wants to merge 1 commit into from

Commits on Oct 3, 2024

  1. Fix exploration tests 

    update the registry for pushing the image
install jdk 21
use the jsoup library and patch it for running test with
instrument-the-world mode
add include file to specify which packages/classes we want to include
into the instrumentation instead of instrumenting everything
(like build tools)
do not collect static inherited fields to avoid duplicate class
definition for enums.
    @jpbempel
    jpbempel committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    7482440 View commit details
    Browse the repository at this point in the history