Record tool, uses gpu-screen-recorder #99

Closed
zach wants to merge 0 commits from record-tool into main
Owner
No description provided.
zach added 5 commits 2026-05-24 18:22:28 +02:00
fixed region selection for recording, plus cache file cleanup
Lint & Format (JS/TS) / lint-format (pull_request) Successful in 12s
Lint & Format (Python) / lint-format (pull_request) Successful in 18s
Lint & Format (Rust) / lint-format (pull_request) Successful in 1m34s
16e84ca998
zach closed this pull request 2026-05-24 18:48:51 +02:00
zach deleted branch record-tool 2026-05-24 18:54:34 +02:00
Some checks are pending
Lint & Format (JS/TS) / lint-format (pull_request) Successful in 12s
Lint & Format (Python) / lint-format (pull_request) Successful in 18s
Lint & Format (Rust) / lint-format (pull_request) Successful in 1m34s

Pull request closed

Sign in to join this conversation.