CI

Do not scroll to the cursor if it is on the first "page" #812

Sign in to view logs

Triggered via pull request December 8, 2023 22:19

kaste

opened #1826

tune-diff-scroll

Status Success

Total duration 33s

Artifacts –

lint.yml

on: pull_request

Matrix: mypy