Skip to content
.github/workflows/concretize.yaml

Add a new workflow for concretization and delete older concretization workflows #5

Sign in to view logs

Add a new workflow for concretization and delete older concretization workflows

Add a new workflow for concretization and delete older concretization workflows #5

Triggered via pull request September 16, 2024 09:45
@jmcarcelljmcarcell
synchronize #646
concretize-workflow
Status Failure
Total duration 1m 9s
Artifacts –

concretize.yaml

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

Annotations

7 errors
concretize (ubuntu22, nightly)
Process completed with exit code 1.
concretize (ubuntu22, release)
The job was canceled because "ubuntu22_nightly" failed.
concretize (ubuntu22, release)
The operation was canceled.
concretize (alma9, nightly)
The job was canceled because "ubuntu22_nightly" failed.
concretize (alma9, nightly)
The operation was canceled.
concretize (alma9, release)
The job was canceled because "ubuntu22_nightly" failed.
concretize (alma9, release)
The operation was canceled.