Skip to content

Also consider profile properties when looking for disable mirror keys #2490

Also consider profile properties when looking for disable mirror keys

Also consider profile properties when looking for disable mirror keys #2490

Triggered via pull request January 19, 2024 06:31
Status Success
Total duration 21m 33s
Artifacts

verify-platform.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 notices
build
org/eclipse/jgit/internal/JGitText
7 skipped tests found
There are 7 skipped tests, see "Raw output" for the full list of skipped tests.
384 tests found
There are 384 tests, see "Raw output" for the full list of tests.