Ammar Faizi 23240cc716 .github: Update OS to Ubuntu 22.04 for shellcheck CI ...

"ubuntu-latest" doesn't give the latest version of Ubuntu. Explicitly
specify "ubuntu-22.04" to get the latest version. This is just like
commit:

  b350259bd2 (".github: Upgrade GitHub bot to Ubuntu 22.04 and gcc-11")

... but for the shellcheck.

Signed-off-by: Ammar Faizi <ammarfaizi2@gnuweeb.org>

2022-08-10 07:53:14 +07:00

..

workflows

.github: Update OS to Ubuntu 22.04 for shellcheck CI

2022-08-10 07:53:14 +07:00

pull_request_template.md

Add more explanations to the github PR template

2021-11-12 10:09:51 -07:00