Skip to content
DisCoTec-github-CI

CI: create github workflow #10

Sign in to view logs

CI: create github workflow

CI: create github workflow #10

Triggered via pull request October 3, 2025 04:20
@freifrauvonbleifreifreifrauvonbleifrei
synchronize #150
feature-github-workflow
Status Cancelled
Total duration 5m 58s
Artifacts –

ci.yml

on: pull_request
Matrix: test-matrix
Fit to window
Zoom out
Zoom in

Annotations

9 errors
build-deps (gcc, openmpi, Release)
The operation was canceled.
build-deps (gcc, openmpi, Release)
Canceling since a higher priority waiting request for DisCoTec-github-CI-refs/pull/150/merge exists
build-deps (gcc, mpich, Debug)
The operation was canceled.
build-deps (gcc, openmpi, Debug)
The operation was canceled.
build-deps (gcc, mpich, Debug)
Canceling since a higher priority waiting request for DisCoTec-github-CI-refs/pull/150/merge exists
build-deps (gcc, openmpi, Debug)
Canceling since a higher priority waiting request for DisCoTec-github-CI-refs/pull/150/merge exists
build-deps (gcc, mpich, Release)
The operation was canceled.
build-deps (gcc, mpich, Release)
Canceling since a higher priority waiting request for DisCoTec-github-CI-refs/pull/150/merge exists
DisCoTec-github-CI
Canceling since a higher priority waiting request for DisCoTec-github-CI-refs/pull/150/merge exists