cmake: add option to not install devel files · project-gemmi/gemmi@d580bc9

Triggered via push September 18, 2023 18:55

wojdyr

master

Status Failure

Total duration 14m 23s

Artifacts 2

ci.yml

on: push

1 error

Process completed with exit code 2.

Produced during runtime

Name	Size
gemmi-linux Expired	9.56 MB
gemmi-macos11 Expired	3.43 MB