chore: CI: add actionlint action, fix actions · leanprover/lean4@19b64b9

Triggered via pull request January 10, 2024 09:58

nomeata

synchronize #3156

joachim/actionlint

Status Failure

Total duration 26s

Artifacts –

actionlint.yml

on: pull_request

10 errors

actionlint: .github/workflows/ci.yml#L48

shellcheck reported issue in this script: SC2086:info:1:32: Double quote to prevent globbing and word splitting

actionlint: .github/workflows/ci.yml#L198

shellcheck reported issue in this script: SC2086:info:6:84: Double quote to prevent globbing and word splitting

actionlint: .github/workflows/ci.yml#L198

shellcheck reported issue in this script: SC2053:warning:6:109: Quote the right-hand side of == in

actionlint: .github/workflows/ci.yml#L198

shellcheck reported issue in this script: SC2086:info:7:44: Double quote to prevent globbing and word splitting

actionlint: .github/workflows/ci.yml#L212

shellcheck reported issue in this script: SC2129:style:18:3: Consider using { cmd1; cmd2; } >> file instead of individual redirects

actionlint: .github/workflows/ci.yml#L212

shellcheck reported issue in this script: SC2086:info:18:51: Double quote to prevent globbing and word splitting

actionlint: .github/workflows/ci.yml#L212

shellcheck reported issue in this script: SC2086:info:19:51: Double quote to prevent globbing and word splitting

actionlint: .github/workflows/ci.yml#L212

shellcheck reported issue in this script: SC2086:info:20:51: Double quote to prevent globbing and word splitting

actionlint: .github/workflows/ci.yml#L212

shellcheck reported issue in this script: SC2086:info:21:61: Double quote to prevent globbing and word splitting

actionlint: .github/workflows/ci.yml#L212

shellcheck reported issue in this script: SC2086:info:22:35: Double quote to prevent globbing and word splitting