fix: Fix symbol hover popover clipping issue · sourcebot-dev/sourcebot@c131387

Triggered via pull request June 2, 2025 19:45

synchronize #326

Status Success

Total duration 5m 29s

Artifacts 1

pr-gate.yml

on: pull_request

Produced during runtime

Name	Size	Digest
sourcebot-dev~sourcebot~DEPI4Z.dockerbuild Expired	82.4 KB	`sha256:fee7b72ca8ee7c6f1bfbda569f7295727aa0d95ba3c29ea45e0acf38d27ca149`