Stop the source generator thread by sending a Python exception to it … #304
copy-pr-bot[bot]pr.yaml
on: push
Prepare
31s
Matrix: CI Pipeline / Build
checks
/
other-checks
33s
checks
/
check-style
3m 9s
CI Pipeline
/
Check
2m 30s
CI Pipeline
/
Code Coverage
0s
Matrix: CI Pipeline / Test
CI Pipeline
/
Documentation
0s
CI Pipeline
/
Benchmark
0s
pr-builder
/
run
Annotations
9 errors and 2 warnings
|
CI Pipeline / Code Coverage
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/495' exists
|
|
checks / check-style
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/495' exists
|
|
checks / check-style
The operation was canceled.
|
|
CI Pipeline / Check
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/495' exists
|
|
CI Pipeline / Check
The operation was canceled.
|
|
CI Pipeline / Build (clang)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/495' exists
|
|
CI Pipeline / Build (clang)
The operation was canceled.
|
|
CI Pipeline / Build (gcc)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/495' exists
|
|
CI Pipeline / Build (gcc)
The operation was canceled.
|
|
Prepare
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/github-script@v6. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
checks / other-checks
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|