test: add workflow to run basic functional tests · leanprover/lean-action@c7c0fd6

Triggered via pull request May 20, 2024 22:56

synchronize #35

create-test-directories

Status Failure

Total duration 19s

Artifacts –

actionlint.yml

on: pull_request

3 errors and 1 warning

actionlint: .github/workflows/functional_tests.yml#L20

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

actionlint: .github/workflows/functional_tests.yml#L36

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

❌ [actionlint] The command ran successfully and some problem was found (found 2 errors, linted 3 files), exit code: 1

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.