Skip to content

feat: Incorporate HipoDiffBank functionality into HipoDiff #2880

feat: Incorporate HipoDiffBank functionality into HipoDiff

feat: Incorporate HipoDiffBank functionality into HipoDiff #2880

Triggered via pull request February 5, 2026 15:59
Status Cancelled
Total duration 20s
Artifacts

validation.yml

on: pull_request
validation  /  Dependency info
7s
validation / Dependency info
validation  /  GitHub context
2s
validation / GitHub context
validation  /  Configuration files
3s
validation / Configuration files
validation  /  Build coatjava
4s
validation / Build coatjava
Matrix: validation / Event generation
Matrix: validation / Run
validation  /  Report efficiency
validation / Report efficiency
validation  /  Report multiplicity
0s
validation / Report multiplicity
Fit to window
Zoom out
Zoom in

Annotations

5 errors
validation / Configuration files
Canceling since a higher priority waiting request for Validation-hipo-diff-642027041 exists
validation / Configuration files
The operation was canceled.
validation / Build coatjava
Canceling since a higher priority waiting request for Validation-hipo-diff-642027041 exists
validation / Build coatjava
A task was canceled.
Validation
Canceling since a higher priority waiting request for Validation-hipo-diff-642027041 exists