Skip to content
Publish

Merge pull request #108 from bernardladenthin/dependabot/maven/org.so… #179

Sign in to view logs

Merge pull request #108 from bernardladenthin/dependabot/maven/org.so…

Merge pull request #108 from bernardladenthin/dependabot/maven/org.so… #179

Triggered via push June 21, 2026 10:26
@bernardladenthinbernardladenthin
pushed d42028e
main
Status Cancelled
Total duration 25s
Artifacts –

publish.yml

on: push
Start gate (abort window)
24s
Start gate (abort window)
Code style (spotless) + package graph
0s
Code style (spotless) + package graph
Build
0s
Build
Matrix: test
Test (vmlens interleavings)
0s
Test (vmlens interleavings)
Report
0s
Report
Check: v* tag
0s
Check: v* tag
Check: main branch / SNAPSHOT
0s
Check: main branch / SNAPSHOT
Publish Release to Central
0s
Publish Release to Central
Publish Snapshot to Central
Publish Snapshot to Central
Attach Binaries to GitHub Release
Attach Binaries to GitHub Release
Update Snapshot Pre-release on GitHub
Update Snapshot Pre-release on GitHub
Fit to window
Zoom out
Zoom in

Annotations

1 error
Publish
The run was canceled by @bernardladenthin.