Code

chore: add ShellCheck action#7

Code

Merged

austinletson merged 7 commits intomainleanprover/lean-action:mainfrom ShellCheckleanprover/lean-action:ShellCheckCopy head branch name to clipboardMay 9, 2024

+41-5

Commits

Commits on May 9, 2024

• chore: add ShellCheck action

  kim-em

  committed
  07ee1c6

  Copy full SHA for 07ee1c6

• Merge remote-tracking branch 'origin/main' into ShellCheck

  kim-em

  committed
  cd08c4c

  Copy full SHA for cd08c4c

• suggestions from ShellCheck

  kim-em

  committed
  f279da3

  Copy full SHA for f279da3

• suggestions from ShellCheck

  kim-em

  committed
  15dbc9c

  Copy full SHA for 15dbc9c

• use jq --arg instead of ShellCheck's suggestion

  kim-em

  committed
  550a70c

  Copy full SHA for 550a70c

• fix: actionlint and shellcheck workflow triggers

  austinletson

  committed
  125cf19

  Copy full SHA for 125cf19

• chore: bump checkout action version in actionlint.yml

  austinletson

  committed
  042da9f

  Copy full SHA for 042da9f