UI: improve margin in expansion panels in plugins #7545
Triggered via pull request
October 27, 2023 19:06
Status
Cancelled
Total duration
11m 3s
Artifacts
–
Annotations
8 errors
Windows - Python 3.10
Canceling since a higher priority waiting request for 'CI-refs/pull/2540/merge' exists
|
Windows - Python 3.10
The operation was canceled.
|
Python 3.11 with coverage checking, all deps, and remote data
Canceling since a higher priority waiting request for 'CI-refs/pull/2540/merge' exists
|
Python 3.11 with coverage checking, all deps, and remote data
The operation was canceled.
|
OS X - Python 3.9
Canceling since a higher priority waiting request for 'CI-refs/pull/2540/merge' exists
|
OS X - Python 3.9
The operation was canceled.
|
Python 3.12 with latest dev versions of key dependencies, and remote data
Canceling since a higher priority waiting request for 'CI-refs/pull/2540/merge' exists
|
Python 3.12 with latest dev versions of key dependencies, and remote data
The operation was canceled.
|