Skip to content

Remove duplicated key handlers #427

Remove duplicated key handlers

Remove duplicated key handlers #427

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

traits.yml

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