Code

Add workflow to run actionlint#4468

Code

Merged

Baltoli merged 3 commits intodevelopruntimeverification/k:developfrom actionlintruntimeverification/k:actionlintCopy head branch name to clipboardJun 24, 2024

+118-89

Commits

Commits on Jun 21, 2024

• Add workflow to run actionlint

  tothtamas28

  committed
  5ce6462

  Copy full SHA for 5ce6462

• Fix shellcheck warnings

  tothtamas28

  committed
  4b57a77

  Copy full SHA for 4b57a77

Commits on Jun 24, 2024

• Merge branch 'develop' into actionlint

  Baltoli

  authored
  e346de9

  Copy full SHA for e346de9