Skip to content

Rename ime_key -> key_char and update behavior (#20953) #326

Rename ime_key -> key_char and update behavior (#20953)

Rename ime_key -> key_char and update behavior (#20953) #326

Triggered via push November 21, 2024 03:55
Status Success
Total duration 22m 7s
Artifacts
Check formatting and Clippy lints
2m 3s
Check formatting and Clippy lints
Publish collab server image
9m 27s
Publish collab server image
Deploy new server image
35s
Deploy new server image
Fit to window
Zoom out
Zoom in