Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

add pmd-designer 7.10.0 #1465

Merged
merged 2 commits into from
Jan 27, 2025
Merged

add pmd-designer 7.10.0 #1465

merged 2 commits into from
Jan 27, 2025

Conversation

Copy link
Contributor

github-actions bot commented Jan 23, 2025

version=7.10.0
ok=3
ko=0
ignored=0
koFiles=""
ignoredFiles=""
reference_java_version="11 (from MANIFEST.MF Build-Jdk-Spec)"
reference_os_name="Unix (from pom.properties newline)"
docker build -q -t ghcr.io/jvm-repo-rebuild/rb-ubuntu-jdk11-toolchains-11
	0:46.19 real,	0.12 user,	0.10 sys
docker build -q -t ghcr.io/jvm-repo-rebuild/rb-ubuntu-jdk11-toolchains-11-maven-3.9.9
	0:05.75 real,	0.05 user,	0.06 sys
docker build -q -t ghcr.io/jvm-repo-rebuild/rb-ubuntu-jdk11-toolchains-11-maven-3.9.9-runner
	0:08.15 real,	0.07 user,	0.05 sys
docker build -q -t ghcr.io/jvm-repo-rebuild/rb-ubuntu-jdk11-toolchains-11-maven-3.9.9-runner-utc-en_us-022
	0:10.30 real,	0.07 user,	0.05 sys
docker run --name rebuild-central --rm
	0:39.46 real,	0.00 user,	0.02 sys

@hboutemy hboutemy force-pushed the pmd-designer-7.10.0 branch from 7cfe6b3 to 3fa1c2c Compare January 27, 2025 23:30
@github-actions github-actions bot merged commit 6ed074e into master Jan 27, 2025
@github-actions github-actions bot deleted the pmd-designer-7.10.0 branch January 27, 2025 23:33
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant