Skip to content

Remove duplicated key handlers #431

Remove duplicated key handlers

Remove duplicated key handlers #431

Triggered via pull request December 11, 2023 01:13
Status Success
Total duration 31s
Artifacts

traits.yml

on: pull_request
Matrix: traits
Fit to window
Zoom out
Zoom in