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 redoc 2.3.0 #1464

Merged
merged 2 commits into from
Jan 23, 2025
Merged

add redoc 2.3.0 #1464

merged 2 commits into from
Jan 23, 2025

Conversation

Copy link
Contributor

github-actions bot commented Jan 23, 2025

version=2.3.0
ok=2
ko=0
ignored=0
koFiles=""
ignoredFiles=""
reference_java_version="21 (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-jdk21-toolchains-21
	1:20.31 real,	0.15 user,	0.12 sys
docker build -q -t ghcr.io/jvm-repo-rebuild/rb-ubuntu-jdk21-toolchains-21-maven-3.6.3
	0:10.35 real,	0.07 user,	0.04 sys
docker build -q -t ghcr.io/jvm-repo-rebuild/rb-ubuntu-jdk21-toolchains-21-maven-3.6.3-runner
	0:08.58 real,	0.06 user,	0.06 sys
docker build -q -t ghcr.io/jvm-repo-rebuild/rb-ubuntu-jdk21-toolchains-21-maven-3.6.3-runner-utc-en_us-0002
	0:10.56 real,	0.07 user,	0.06 sys
docker run --name rebuild-central --rm
	0:18.60 real,	0.01 user,	0.01 sys

@github-actions github-actions bot merged commit d80a59d into master Jan 23, 2025
@github-actions github-actions bot deleted the redoc-2.3.0 branch January 23, 2025 22:36
# 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