commit | bb7e922914ccacadcc745970ed1fc1e38e603d19 | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Mon Feb 17 21:13:32 2025 +0200 |
committer | Cosmin Truta <ctruta@gmail.com> | Mon Feb 17 21:13:32 2025 +0200 |
tree | abb9bee17488c4c0c6b496095d7120f8556a8b55 | |
parent | b20e6fb31479868f1d5f5cd268d4776767016941 [diff] |
ci: Introduce the `CI_NO_BUILD` flag For testing purposes (e.g. wanting to see if "make distclean" works correctly with and without building), as well as development purposes (e.g. wanting to inspect the artifacts produced in the configuration stage), add `CI_NO_BUILD` to the family of contrarians.