Skip to content

Do not unhide find/replace overlay of other editors when resizing #2059 #3522

Do not unhide find/replace overlay of other editors when resizing #2059

Do not unhide find/replace overlay of other editors when resizing #2059 #3522

Triggered via pull request July 9, 2024 18:36
Status Success
Total duration 40m 23s
Artifacts 4

ci.yml

on: pull_request
check-freeze-period  /  verify-freeze-period
2s
check-freeze-period / verify-freeze-period
check-merge-commits  /  Block Merge Commits
10s
check-merge-commits / Block Merge Commits
build  /  Upload Event File
2s
build / Upload Event File
Matrix: build / build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build / Verify Linux
org/eclipse/jgit/internal/JGitText
build / Verify Windows
org/eclipse/jgit/internal/JGitText
build / Verify MacOS
org/eclipse/jgit/internal/JGitText

Artifacts

Produced during runtime
Name Size
Event File Expired
4.09 KB
test-results-macos-13 Expired
7.43 MB
test-results-ubuntu-latest Expired
4.73 MB
test-results-windows-latest Expired
5.47 MB