The GitHub Actions job "Java CI" on commons-rng.git/master has succeeded. Run started by GitHub user garydgregory (triggered by garydgregory).
Head commit for run: 2a9c02fb1a66395924b3606d9384b0e25273c4e7 / Gary Gregory <garydgreg...@users.noreply.github.com> Merge pull request #141 from apache/dependabot/maven/org.revapi-revapi-java-0.28.3 Bump org.revapi:revapi-java from 0.28.1 to 0.28.3 Report URL: https://github.com/apache/commons-rng/actions/runs/14535919306 With regards, GitHub Actions via GitBox
