Skip to content

Fix respawning of pool instances have different names #6240

Fix respawning of pool instances have different names

Fix respawning of pool instances have different names #6240

Triggered via pull request November 23, 2023 11:54
Status Cancelled
Total duration 16s
Artifacts

ci.yml

on: pull_request
Matrix: Remote: Build & test
Waiting for pending jobs
Matrix: Build and smoke tests
Waiting for pending jobs
Documentation style check
Documentation style check
Local: Build & test on Ubuntu
Local: Build & test on Ubuntu
Local: Build & test minimal package on Ubuntu
Local: Build & test minimal package on Ubuntu
Local: Build & test on Windows
Local: Build & test on Windows
Build documentation
Build documentation
Upload dev documentation
Upload dev documentation
release
release
Deploy dev index docs
Deploy dev index docs
Notify failed build
Notify failed build
Upload release documentation
Upload release documentation
Deploy stable docs index
Deploy stable docs index
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for 'CI-refs/pull/2493/merge' exists