tree 9c8b0c786b90cde0e5dec08b5e0bc3221be2dacd
parent ab6d97b7c8be42021a9f33c42934ddde1c90b253
author Cosmin Truta <ctruta@gmail.com> 1707076395 +0200
committer Cosmin Truta <ctruta@gmail.com> 1707076395 +0200

ci: Add a pre-build checkup stage to ci_verify_configure.sh

Also update comments and tracing printouts in ci/ci_*.sh