Skip to content

Merge pull request #3638 from continuedev/pe/jb-arrow-keys-gui-linux-fix #244

Merge pull request #3638 from continuedev/pe/jb-arrow-keys-gui-linux-fix

Merge pull request #3638 from continuedev/pe/jb-arrow-keys-gui-linux-fix #244

Triggered via push January 7, 2025 23:54
Status Success
Total duration 1m 14s
Artifacts
dependency-submission
1m 5s
dependency-submission
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
dependency-submission
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
dependency-submission
Submitted dependency-graph-reports/submit_gradle_dependency_graph_for_dependabot-dependency-submission.json: Dependency results for the repo have been successfully updated.