Skip to content
Back to pull request #1168

Reset hover index when window is updated or hide #184

Sign in to view logs

Reset hover index when window is updated or hide

Reset hover index when window is updated or hide #184

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check clang-format
34s
Build and test (gcc)
14m 52s
Build and test (clang)
14m 55s
30m 21s