Formatting fix #847
copy-pr-bot[bot]pull_request.yml
on: push
Prepare
49s
Matrix: CI Pipeline / Build
CI Pipeline
/
Check
56s
CI Pipeline
/
Code Coverage
44s
Matrix: CI Pipeline / Test
CI Pipeline
/
Documentation
0s
CI Pipeline
/
Benchmark
0s
CI Pipeline
/
Package
0s
Annotations
8 errors
|
CI Pipeline / Check
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/394' exists
|
|
CI Pipeline / Check
The operation was canceled.
|
|
CI Pipeline / Build (gcc)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/394' 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/394' exists
|
|
CI Pipeline / Build (clang)
The operation was canceled.
|
|
CI Pipeline / Code Coverage
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/394' exists
|
|
CI Pipeline / Code Coverage
The operation was canceled.
|