Skip to content
GitHub Actions

fix workspace not being focused on title bar scroll (#5518) #587

Sign in to view logs

fix workspace not being focused on title bar scroll (#5518)

fix workspace not being focused on title bar scroll (#5518) #587

Triggered via push May 29, 2023 12:08
@stapelbergstapelberg
pushed a958701
next
Status Success
Total duration 4m 6s
Artifacts –

main.yml

on: push
Check formatting
8s
Check formatting
Matrix: build and test
Fit to window
Zoom out
Zoom in