Pin bernardladenthin/actions at v1.1.0

1287617

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

dynamic on: dynamic 5

submit-maven

Claude Code Review on: pull_request 4

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)

Publish on: pull_request 52

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

REUSE Compliance Check on: pull_request 1

test / test

CodeQL on: pull_request 1

analyze / analyze

SonarQube on: pull_request 11

build / Build and analyze

OSV-Scanner on: pull_request 1

scan / scan-scheduled

scan / scan-pr / osv-scan

Code scanning results

CodeQL

osv-scanner

Select a check to view from the sidebar