CI: add zigcc and scan-build

2023-01-22 22:07:35 +01:00
parent 8ef17da082
commit cc893dfc11
8 changed files with 132 additions and 22 deletions
@@ -10,7 +10,7 @@
 #    Abandoned Issues and Pull Request".
 #   https://igorwiese.com/images/papers/Paper_BotSE_19.pdf

-name: 'Close inactive issues'
+name: 'GitHub - Close inactive issues'
 on:
  schedule:
    - cron: "30 6 * * 4"