Code

Fix gh action#220

Code

Closed

alfert wants to merge 7 commits intomasteralfert/propcheck:masterfrom fix-gh-actionalfert/propcheck:fix-gh-actionCopy head branch name to clipboard

+47-17

Commits

Commits on May 2, 2023

• set versions to strings (advice from action docs)

  alfert

  committed
  3667f19

  Copy full SHA for 3667f19

• ignore vscode files

  alfert

  committed
  2d7ed19

  Copy full SHA for 2d7ed19

• use a different matrix syntax

  alfert

  committed
  d6d2ef3

  Copy full SHA for d6d2ef3

• use generic otp versions

  alfert

  committed
  0dec2ab

  Copy full SHA for 0dec2ab

• set the ubuntu version to 20.04

  alfert

  committed
  394460f

  Copy full SHA for 394460f

• boom property shall fail now

  alfert

  committed
  e980332

  Copy full SHA for e980332

• just for the linter

  alfert

  committed
  2a7b460

  Copy full SHA for 2a7b460