Remove unused variable, and apply PR feedback #857
copy-pr-bot[bot]pull_request.yml
on: push
Prepare
43s
Matrix: CI Pipeline / Build
CI Pipeline
/
Check
11m 21s
CI Pipeline
/
Code Coverage
16m 55s
Matrix: CI Pipeline / Test
CI Pipeline
/
Documentation
7m 47s
CI Pipeline
/
Benchmark
8m 18s
CI Pipeline
/
Package
0s
Annotations
8 errors
|
CI Pipeline / Check
Process completed with exit code 1.
|
|
CI Pipeline / Test (gcc)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/391' exists
|
|
CI Pipeline / Test (clang)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/391' exists
|
|
CI Pipeline / Test (clang)
The operation was canceled.
|
|
CI Pipeline / Benchmark
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/391' exists
|
|
CI Pipeline / Benchmark
The operation was canceled.
|
|
CI Pipeline / Code Coverage
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/391' exists
|
|
CI Pipeline / Code Coverage
The operation was canceled.
|