Skip to content

api: move primary from FingerId to Pointer events #6945

api: move primary from FingerId to Pointer events

api: move primary from FingerId to Pointer events #6945

Triggered via pull request October 13, 2024 18:30
Status Success
Total duration 4m 32s
Artifacts

ci.yml

on: pull_request
Check formatting
11s
Check formatting
Taplo
3s
Taplo
Check for typos
5s
Check for typos
ESLint
14s
ESLint
Minimize JavaScript
12s
Minimize JavaScript
Matrix: cargo-deny
Matrix: tests
Fit to window
Zoom out
Zoom in