chore: CI: flag Lean modules not using prelude
#282
Annotations
2 errors and 1 warning
|
actionlint:
.github/workflows/ci.yml#L483
shellcheck reported issue in this script: SC2006:style:8:50: Use $(...) notation instead of legacy backticks `...`
|
|
actionlint
❌ [actionlint] The command ran successfully and some problem was found (found 1 errors, linted 10 files), exit code: 1
|
|
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/.
|
The logs for this run have expired and are no longer available.
Loading