add script and action for monthly PR summary · leanprover-community/blog@498d245

the runner of "actions/checkout@v2" action is too old to run on GitHub Actions. update the action's version to fix this issue

the runner of "actions/setup-python@v1" action is too old to run on GitHub Actions. update the action's version to fix this issue

shellcheck reported issue in this script: SC2016:info:32:8: Expressions don't expand in single quotes, use double quotes for that

shellcheck reported issue in this script: SC2269:info:42:1: This variable is assigned to itself, so the assignment does nothing

❌ [actionlint] The command ran successfully and some problem was found (found 4 errors, linted 3 files), exit code: 1

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Provide feedback