Code

run lint in container#172

Code

Merged

jbergler merged 17 commits intomainsemgrep/semgrep-interfaces:mainfrom jbergler/lintingsemgrep/semgrep-interfaces:jbergler/lintingCopy head branch name to clipboardNov 7, 2023

+34-22

Commits

Commits on Oct 25, 2023

• run lint in container

  jbergler

  committed
  e25a20f

  Copy full SHA for e25a20f

• skip opam env

  jbergler

  committed
  f6f3301

  Copy full SHA for f6f3301

• add jq and improve error handling in the script

  jbergler

  committed
  10cda85

  Copy full SHA for 10cda85

• run opam env afterall

  jbergler

  committed
  4806cce

  Copy full SHA for 4806cce

• debug

  jbergler

  committed
  84b25d5

  Copy full SHA for 84b25d5

• remove debug and fix env

  jbergler

  committed
  b323182

  Copy full SHA for b323182

• catch atddiff errors

  jbergler

  committed
  5e00ca2

  Copy full SHA for 5e00ca2

Commits on Nov 7, 2023

• Merge branch 'main' into jbergler/linting

  jbergler

  authored
  f218657

  Copy full SHA for f218657

• Update lint.yaml

  Show description for 68b63ed
  jbergler

  authored
  68b63ed

  Copy full SHA for 68b63ed

• Update lint.yaml

  jbergler

  authored
  7889382

  Copy full SHA for 7889382

• Update lint.yaml

  jbergler

  authored
  8293ae5

  Copy full SHA for 8293ae5

• Update lint.yaml

  jbergler

  authored
  97bd493

  Copy full SHA for 97bd493

• Update check-backwards-compatability.sh

  jbergler

  authored
  4c35534

  Copy full SHA for 4c35534

• Update check-backwards-compatability.sh

  jbergler

  authored
  23695bc

  Copy full SHA for 23695bc

• Update check-backwards-compatability.sh

  jbergler

  authored
  792b895

  Copy full SHA for 792b895

• Update check-backwards-compatability.sh

  jbergler

  authored
  717a899

  Copy full SHA for 717a899

• Update check-backwards-compatability.sh

  jbergler

  authored
  86a5b0a

  Copy full SHA for 86a5b0a