Merge branch 'master' into smart_holder

This commit is contained in:
Ralf W. Grosse-Kunstleve
2021-10-06 00:47:43 -07:00
9 changed files with 39 additions and 15 deletions

View File

@@ -621,6 +621,7 @@ jobs:
if: matrix.centos == 8
run: echo Release > VAR_BUILD_TYPE
# Temporally disabling EIGEN due to SSL issue in CentOS 7
- name: Configure
shell: bash
run: >