Skip to content

build: bump version number to 13.5.1 (#1018) #2568

build: bump version number to 13.5.1 (#1018)

build: bump version number to 13.5.1 (#1018) #2568

Triggered via push December 19, 2025 00:01
Status Cancelled
Total duration 2m 9s
Artifacts 1

validation.yml

on: push
validation  /  Dependency info
5s
validation / Dependency info
validation  /  GitHub context
2s
validation / GitHub context
validation  /  Configuration files
12s
validation / Configuration files
validation  /  Build coatjava
1m 55s
validation / Build coatjava
Matrix: validation / Event generation
Matrix: validation / Run
validation  /  Report efficiency
0s
validation / Report efficiency
validation  /  Report multiplicity
0s
validation / Report multiplicity
Fit to window
Zoom out
Zoom in

Annotations

3 errors
validation / Build coatjava
Canceling since a higher priority waiting request for Validation-push-642027041 exists
validation / Build coatjava
The operation was canceled.
Validation
Canceling since a higher priority waiting request for Validation-push-642027041 exists

Artifacts

Produced during runtime
Name Size Digest
build.config Expired
659 KB
sha256:a471219daeaa461b74f63fb42310191ed132d25e3ae13a9f495bad90ec9f7e95