Skip to content
Publish

Merge pull request #212 from bernardladenthin/dependabot/maven/org.ap… #372

Sign in to view logs

Merge pull request #212 from bernardladenthin/dependabot/maven/org.ap…

Merge pull request #212 from bernardladenthin/dependabot/maven/org.ap… #372

Triggered via push October 1, 2026 10:19
@bernardladenthinbernardladenthin
pushed 3727277
main
Status Cancelled
Total duration 26s
Artifacts –

publish.yml

on: push
Start gate (abort window)
23s
Start gate (abort window)
Verify GPG signing key (no secrets printed)
23s
Verify GPG signing key (no secrets printed)
Verify GPG signing key — Gradle/BouncyCastle path (no secrets printed)
23s
Verify GPG signing key — Gradle/BouncyCastle path (no secrets printed)
Shared files + build checks
Shared files + build checks
Code style (spotless) + package graph
0s
Code style (spotless) + package graph
Plugin integration test
0s
Plugin integration test
Build
0s
Build
Test (vmlens interleavings)
Test (vmlens interleavings)
Smoke test fat jar
Smoke test fat jar
Test
Test
Report
Report
Check: v* tag
Check: v* tag
Check: main branch / SNAPSHOT
Check: main branch / SNAPSHOT
Publish Release to Central
0s
Publish Release to Central
Publish Snapshot to Central
0s
Publish Snapshot to Central
Attach Binaries to GitHub Release
0s
Attach Binaries to GitHub Release
Update Snapshot Pre-release on GitHub
0s
Update Snapshot Pre-release on GitHub
Fit to window
Zoom out
Zoom in

Annotations

1 error
Publish
The run was canceled by @bernardladenthin.