Skip to content

Clear node selection before removing a tab. Fixes #218. #197

Clear node selection before removing a tab. Fixes #218.

Clear node selection before removing a tab. Fixes #218. #197

Triggered via pull request February 23, 2024 10:42
Status Success
Total duration 1m 17s
Artifacts

lint.yml

on: pull_request
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
lint (3.9)
Process completed with exit code 30.
lint (3.9)
Process completed with exit code 1.
lint (3.9)
Process completed with exit code 1.
lint (3.9)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.