main

Show diagnostics popup when hovering over gutter icons #4444

Sign in to view logs

Triggered via pull request November 4, 2023 19:24

jwortmann

synchronize #2349

jwortmann:diagnostics-icons-hover

Status Success

Total duration 4m 17s

Artifacts –

main.yml

on: pull_request

Matrix: Unittesting