Skip to content
Actionlint

chore: prevent stage0 updates from being merged using the merge queue #2

Sign in to view logs

chore: prevent stage0 updates from being merged using the merge queue

chore: prevent stage0 updates from being merged using the merge queue #2

Triggered via pull request April 22, 2024 16:56
@nomeatanomeata
opened #2
joachim/stage0-queue-check
Status Failure
Total duration 35s
Artifacts –

actionlint.yml

on: pull_request
actionlint
25s
actionlint
Fit to window
Zoom out
Zoom in

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/.