Code

Add TLAi linter.#6098

Code

Merged

lemmy merged 4 commits intomainmicrosoft/CCF:mainfrom mku-tlaimicrosoft/CCF:mku-tlaiCopy head branch name to clipboardMar 27, 2024

+81-2

Commits

Commits on Mar 26, 2024

• Add TLAi linter.

  lemmy

  committed
  eabe0fd

  Copy full SHA for eabe0fd

• Extend permissions to upload security reports that we reuse for TLAi.

  Show description for 4c92be7
  lemmy

  committed
  4c92be7

  Copy full SHA for 4c92be7

• Run TLAi and upload SARIF report iff git commit contains TLA files

  Show description for be407a8
  lemmy

  committed
  be407a8

  Copy full SHA for be407a8

Commits on Mar 27, 2024

• Write to stdout when coverage information is written.

  lemmy

  committed
  26a8462

  Copy full SHA for 26a8462