Skip to content

Use local player selection color, not cursor, for terminal selection #13978

Use local player selection color, not cursor, for terminal selection

Use local player selection color, not cursor, for terminal selection #13978

Triggered via push February 12, 2024 15:52
Status Success
Total duration 6m 24s
Artifacts

ci.yml

on: push
(macOS) Run Clippy and tests
6m 13s
(macOS) Run Clippy and tests
(Linux) Run Clippy and tests
6m 5s
(Linux) Run Clippy and tests
Check formatting and spelling
23s
Check formatting and spelling
Bundle app
0s
Bundle app
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Check formatting and spelling
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: bufbuild/buf-setup-action@v1, bufbuild/buf-breaking-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check formatting and spelling
No github_token supplied, API requests will be subject to stricter rate limiting