Jan Kundrát 9bd303db05 CI: github: upgrade deprecated actions ...

...because the GitHub infrastructure is deprecating Node 12 actions:

 https: //github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/

Change-Id: I2d4a28be37a407aa26e79a1755eb5c3b0ec36a87

2023-01-10 12:27:50 +01:00

..

ISSUE_TEMPLATE

Update issue templates

2018-10-23 17:09:56 -04:00

workflows

CI: github: upgrade deprecated actions

2023-01-10 12:27:50 +01:00

pull_request_template.md

GitHub: link to a faster landing page in GerritHub

2021-05-20 15:31:49 +02:00