Skip to content

Massive use of Github CI

Compare
Choose a tag to compare
@rdavid rdavid released this 05 Apr 20:34
· 74 commits to master since this release
20c45a6
  • Add new linters.
  • Add Dependabot.
  • Separate some components from tags.