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: 5a9c18c462ea0733f70ec772b8ae80d8baba502b / Gary Gregory <garydgreg...@users.noreply.github.com> Merge pull request #140 from apache/dependabot/maven/org.revapi-revapi-maven-plugin-0.15.1 Bump org.revapi:revapi-maven-plugin from 0.15.0 to 0.15.1 Report URL: https://github.com/apache/commons-rng/actions/runs/14534824870 With regards, GitHub Actions via GitBox
