Skip to content

Fix issue #5716: [Feature Request]: Add the button to jump to file ed… #18556

Fix issue #5716: [Feature Request]: Add the button to jump to file ed…

Fix issue #5716: [Feature Request]: Add the button to jump to file ed… #18556

Triggered via pull request January 6, 2025 20:59
Status Failure
Total duration 50s
Artifacts

lint.yml

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

Annotations

3 errors and 3 warnings
Lint frontend: frontend/src/components/shared/buttons/jump-to-file-button.tsx#L26
Missing an explicit type attribute for button
Lint frontend
Process completed with exit code 1.
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 frontend
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