Type completeness report

gui: improve scroll bar thumb size and appearance #2294

Sign in to view logs

Triggered via pull request March 28, 2025 09:50

eruvanos

opened #2619

gui/improve_scroll_bar

Status Success

Total duration 57s

Artifacts –

verify_types.yml

on: pull_request