merge queue: embarking main (09206ae) and #506 together #928
This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / actionlint
succeeded
Sep 2, 2023 in 0s
reviewdog [actionlint] report
reported by reviewdog 🐶
Findings (0)
Filtered 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]
Loading