tree bfad502daee44a473870ed7258ac4bb6f4fa4303
parent c6ee62af2e5f51f41e8ef5d5dff23e9904cf2799
author Cosmin Truta <ctruta@gmail.com> 1707576326 +0200
committer Cosmin Truta <ctruta@gmail.com> 1707576326 +0200

ci: Update the ci_verify_*.sh scripts.

Bring the coding patterns in line with the newest scripts.