mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-09 21:26:14 +03:00
c97ecc7326
Clippy is disabled for now, due to many warnings in both `gpui` and other code, see https://github.com/zed-industries/zed/actions/runs/7980269779/job/21789529800 for more details. Also, due to `#!/usr/bin/env bash` shebang in the `script/clippy`, it starts in Windows CI with `shell: C:\Program Files\Git\bin\bash.EXE -euxo pipefail {0}` https://github.com/zed-industries/zed/actions/runs/7980269779/job/21789529800#step:4:3 It seems more appropriate to use PowerShell instead. See `todo!("windows")` for all stubbed places currently. Release Notes: - N/A |
||
---|---|---|
.. | ||
actions | ||
ISSUE_TEMPLATE | ||
workflows | ||
pull_request_template.md |