Skip to content

Make terminal.option_as_meta=false in default settings #33308

Make terminal.option_as_meta=false in default settings

Make terminal.option_as_meta=false in default settings #33308

Triggered via pull request October 17, 2024 13:48
Status Success
Total duration 14m 33s
Billable time 15m
Artifacts

ci.yml

on: pull_request
(Linux) Run Clippy and tests
11m 43s
(Linux) Run Clippy and tests
(macOS) Run Clippy and tests
13m 58s
(macOS) Run Clippy and tests
Check formatting and spelling
44s
Check formatting and spelling
(Linux) Build Remote Server
1m 13s
(Linux) Build Remote Server
(Windows) Run Clippy and tests
14m 19s
(Windows) Run Clippy and tests
Create a Linux bundle
0s
Create a Linux bundle
Create arm64 Linux bundle
0s
Create arm64 Linux bundle
Create a macOS bundle
0s
Create a macOS bundle
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check formatting and spelling
No github_token supplied, API requests will be subject to stricter rate limiting