Systematically add `-DCMAKE_VERBOSE_MAKEFILE=ON` in ci.yml#4398

Merged

rwgk merged 1 commit intopybind:masterfrom

rwgk:more_CMAKE_VERBOSE_MAKEFILE

Dec 13, 2022

Commits on Dec 12, 2022

Systematically add `-DCMAKE_VERBOSE_MAKEFILE=ON` to obtain full command lines related to `-Wodr`
rwgk
committed