Skip to content

Move terminal to main tabs and make it default route #17903

Move terminal to main tabs and make it default route

Move terminal to main tabs and make it default route #17903

Triggered via pull request December 30, 2024 15:43
Status Success
Total duration 53s
Artifacts

lint.yml

on: pull_request
Lint frontend
43s
Lint frontend
Lint python
40s
Lint python
Check version consistency
4s
Check version consistency
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Check version consistency
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint python
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint frontend
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636