Skip to content

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

Also consider profile properties when looking for disable mirror keys

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

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

verify-platform2.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
org/eclipse/jgit/internal/JGitText
build
The following actions uses node12 which is deprecated and will be forced to run on node16: GabrielBB/xvfb-action@86d97bde4a65fe9b290c0b3fb92c2c4ed0e5302d. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/