Code

ci: run lint only on diff#2526

Code

Merged

mpoke merged 2 commits intomaincosmos/gaia:mainfrom marius/update-lintcosmos/gaia:marius/update-lintCopy head branch name to clipboardMay 25, 2023

+19-12

Commits

Commits on May 23, 2023

• run lint only on diff

  mpoke

  committed
  9e57def

Commits on May 24, 2023

• Merge branch 'main' into marius/update-lint

  sainoe

  authored
  09e6d79