[bugfix][Python] ENABLE_HEADERCHECK cannot be set for dune-py. (!1371) · Merge requests · Core Modules / dune-common · GitLab

Snippets Groups Projects

Merged Robert K requested to merge bugfix/dunepy-cmake-template into master 11 months ago

It simply fails.

Activity

Robert K enabled an automatic merge when the pipeline for c6d76298 succeeds 11 months ago

enabled an automatic merge when the pipeline for c6d76298 succeeds
Robert K merged 11 months ago

merged
Robert K mentioned in commit cd9b8809 11 months ago

mentioned in commit cd9b8809

Please register or sign in to reply