[exec.write.env] De-bulletize specification of check-types#8288

tkoeppe merged 1 commit intomaincplusplus/draft:mainfrom

cd26-349cplusplus/draft:cd26-349Copy head branch name to clipboard