tree 879b6c0e019db68e2e0263238dfe2eca5dd3ea49
parent 7a6148290f3ce49397eb7052f348550216615520
author Cosmin Truta <ctruta@gmail.com> 1707657843 +0200
committer Cosmin Truta <ctruta@gmail.com> 1707657843 +0200

ci: Update (again) the ci_verify_*.sh scripts; update .shellcheckrc

Apply stylistic improvements and remove a shellcheck exclusion.