CI: work on new cmake-based CI; updates

2022-08-17 18:05:42 +02:00
parent a9a806c418
commit 79e9b0762c
11 changed files with 267 additions and 36 deletions
@@ -1,13 +1,23 @@
 # see https://docs.github.com/en/actions/managing-issues-and-pull-requests/closing-inactive-issues
 # see https://github.com/actions/stale

-name: Close inactive issues
+# Automatically closing issues is far from perfect, but then we only have
+# limited resources and this approach favors issues that people
+# actually care about.
+#
+# also see:
+#   "Should I Stale or Should I Close? An Analysis of a Bot that Closes
+#    Abandoned Issues and Pull Request".
+#   https://igorwiese.com/images/papers/Paper_BotSE_19.pdf
+
+name: 'Close inactive issues'
 on:
  schedule:
    - cron: "30 6 * * *"

 jobs:
  close-issues:
+    name: 'Close inactive issues'
    runs-on: ubuntu-latest
    permissions:
      issues: write