styles #940
copy-pr-bot[bot]pull_request.yml
on: push
Prepare
43s
Matrix: CI Pipeline / Build
CI Pipeline
/
Check
4m 23s
CI Pipeline
/
Code Coverage
9m 30s
Matrix: CI Pipeline / Test
CI Pipeline
/
Documentation
1m 24s
CI Pipeline
/
Benchmark
14s
CI Pipeline
/
Package
0s
Annotations
10 errors
|
CI Pipeline / Test (gcc)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/411' exists
|
|
CI Pipeline / Test (clang)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/411' exists
|
|
CI Pipeline / Documentation
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/411' exists
|
|
CI Pipeline / Documentation
The operation was canceled.
|
|
CI Pipeline / Benchmark
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/411' exists
|
|
CI Pipeline / Benchmark
The operation was canceled.
|
|
CI Pipeline / Check
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/411' 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/411' exists
|
|
CI Pipeline / Code Coverage
The operation was canceled.
|