Fix: opening multiple diff views was not possible #787
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
lint.yml
on: pull_request
check-messages
4s
lint
9s
Matrix: mypy