merge queue: embarking main (b1f946f) and #743 together #1340
GitHub Actions / actionlint
completed
Oct 15, 2024 in 1s
reviewdog [actionlint] report
reported by reviewdog 🐶
Findings (1)
.github/workflows/coverage.yaml|9 col 5| unexpected key "path" for "pull_request" section. expected one of "branches", "branches-ignore", "paths", "paths-ignore", "tags", "tags-ignore", "types", "workflows" [syntax-check]
Filtered Findings (1)
.github/workflows/docs.yml|44 col 15| the runner of "actions-rs/toolchain@v1" action is too old to run on GitHub Actions. update the action's version to fix this issue [action]
Annotations
Check warning on line 9 in .github/workflows/coverage.yaml
github-actions / actionlint
[actionlint] .github/workflows/coverage.yaml#L9
unexpected key "path" for "pull_request" section. expected one of "branches", "branches-ignore", "paths", "paths-ignore", "tags", "tags-ignore", "types", "workflows" [syntax-check]
Raw output
.github/workflows/coverage.yaml:9:5: unexpected key "path" for "pull_request" section. expected one of "branches", "branches-ignore", "paths", "paths-ignore", "tags", "tags-ignore", "types", "workflows" [syntax-check]
Loading