Skip to content
.github/workflows/concretize.yaml

Add a new workflow for concretization and delete older concretization… #24

Sign in to view logs

Add a new workflow for concretization and delete older concretization…

Add a new workflow for concretization and delete older concretization… #24

Triggered via push September 17, 2024 08:09
@jmcarcelljmcarcell
pushed 690e25f
main
Status Cancelled
Total duration 1m 28s
Artifacts –

concretize.yaml

on: push
Matrix: concretize
Fit to window
Zoom out
Zoom in

Annotations

8 errors
concretize (alma9, nightly)
Canceling since a higher priority waiting request for '.github/workflows/concretize.yaml-refs/heads/main-alma9-nightly' exists
concretize (alma9, nightly)
The operation was canceled.
concretize (alma9, release)
Canceling since a higher priority waiting request for '.github/workflows/concretize.yaml-refs/heads/main-alma9-release' exists
concretize (alma9, release)
The operation was canceled.
concretize (ubuntu22, nightly)
Canceling since a higher priority waiting request for '.github/workflows/concretize.yaml-refs/heads/main-ubuntu22-nightly' exists
concretize (ubuntu22, nightly)
The operation was canceled.
concretize (ubuntu22, release)
Canceling since a higher priority waiting request for '.github/workflows/concretize.yaml-refs/heads/main-ubuntu22-release' exists
concretize (ubuntu22, release)
The operation was canceled.