build(deps): palantir-java-format 2.98.0, osv-scanner-action v2.6.0

e5b4353

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

dynamic on: dynamic 5

submit-maven

CodeQL on: pull_request 1

analyze

Publish on: pull_request 5

Start gate (abort window)

Verify GPG signing key (no secrets printed)

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

Code style (spotless) + package graph

Build

Smoke test packaged jar

Test (JDK ${{ matrix.java-version }})

Test (vmlens interleavings)

Report

Check: main branch / SNAPSHOT

Check: v* tag

Publish Snapshot to Central

Publish Release to Central

Update Snapshot Pre-release on GitHub

Attach Binaries to GitHub Release

REUSE Compliance Check on: pull_request 1

test

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)

SonarQube on: pull_request 11

Build and analyze

Claude Code Review on: pull_request 4

claude-review

OSV-Scanner on: pull_request 1

scan-scheduled

scan-pr / osv-scan

Code scanning results

CodeQL

osv-scanner

build(deps): palantir-java-format 2.98.0, osv-scanner-action v2.6.0

Uh oh!

Select a check to view from the sidebar