commit | 8120345c890a94c81966238494f5c082d952280e | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Sun Feb 11 15:24:03 2024 +0200 |
committer | Cosmin Truta <ctruta@gmail.com> | Sun Feb 11 15:24:03 2024 +0200 |
tree | 879b6c0e019db68e2e0263238dfe2eca5dd3ea49 | |
parent | 7a6148290f3ce49397eb7052f348550216615520 [diff] |
ci: Update (again) the ci_verify_*.sh scripts; update .shellcheckrc Apply stylistic improvements and remove a shellcheck exclusion.