Pin bernardladenthin/actions v1.0.1

082aa43

Select commit

Loading

Failed to load commit list.

Uh oh!

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

REUSE Compliance Check on: push 1

test / test

SonarQubeCloud

SonarCloud Code Analysis

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)

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)

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 4

claude-review

CodeQL on: pull_request 1

analyze / analyze

REUSE Compliance Check on: pull_request 1

test / test

SonarQube on: pull_request 11

build / Build and analyze

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