Bump Error Prone to 2.51.0 and claude-code-action to 1.0.259

3e8e718

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

SonarQubeCloud

SonarCloud Code Analysis

REUSE Compliance Check on: push 1

test / test

Publish on: pull_request 44

Start gate (abort window)

Verify GPG signing key (no secrets printed)

Verify GPG signing key — Gradle/BouncyCastle path (no secrets printed)

Repository checks

Code style (spotless) + package graph

Build

Smoke test packaged jar

Test

Test (vmlens interleavings)

Report

Check: main branch / SNAPSHOT

Check: v* tag

Prepare and verify signed snapshot artifacts

Prepare and verify signed release artifacts

Update Snapshot Pre-release on GitHub

Upload checked snapshot artifacts to Maven Central

Attest the checked snapshot publication

Attach Binaries to GitHub Release

Upload checked release artifacts to Maven Central

Attest the checked release publication

Claude Code Review on: pull_request 2

claude-review

Formal Verification on: pull_request 12

OpenJML ESC (deductive proof, static core)

OpenJML RAC (contracts under the full test suite)

JPF exhaustive interleavings (blocking read/write/close)

CodeQL on: pull_request 1

analyze / analyze

SonarQube on: pull_request 11

build / Build and analyze

REUSE Compliance Check on: pull_request 1

test / test

OSV-Scanner on: pull_request 1

scan / scan-scheduled

scan / scan-pr / osv-scan

dynamic on: dynamic 5

submit-maven

Code scanning results

CodeQL

osv-scanner

Select a check to view from the sidebar