Skip to content

fix pr-builder job

fix pr-builder job #6

Triggered via push December 6, 2023 18:21
Status Cancelled
Total duration 2m 48s
Artifacts

pr.yaml

on: push
Matrix: CI Pipeline / Build
pr-builder  /  run
pr-builder / run
Matrix: CI Pipeline / Test
CI Pipeline  /  Documentation
0s
CI Pipeline / Documentation
CI Pipeline  /  Benchmark
0s
CI Pipeline / Benchmark
CI Pipeline  /  Package
0s
CI Pipeline / Package
Fit to window
Zoom out
Zoom in

Annotations

9 errors
checks / other-checks
Process completed with exit code 1.
CI Pipeline / Build (gcc)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/416' exists
CI Pipeline / Build (gcc)
The operation was canceled.
CI Pipeline / Build (clang)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/416' exists
CI Pipeline / Build (clang)
The operation was canceled.
CI Pipeline / Check
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/416' exists
CI Pipeline / Check
The operation was canceled.
CI Pipeline / Code Coverage
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/416' exists
CI Pipeline / Code Coverage
The operation was canceled.