chore: prevent stage0 updates from being merged using the merge queue #2
Annotations
2 errors and 1 warning
actionlint:
.github/workflows/check-prelude.yml#L13
shellcheck reported issue in this script: SC2086:info:6:80: Double quote to prevent globbing and word splitting
|
actionlint
❌ [actionlint] The command ran successfully and some problem was found (found 1 errors, linted 11 files), exit code: 1
|
actionlint
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|