Ralf W. Grosse-Kunstleve 5d949b703c Separate concurrency groups for ci.yml, ci_sh_def.yml. Also changing name back from CI-SH-AVL to CI because I saw the github.com web UI getting confused if there are different names for the same .yml.

2021-10-27 10:55:24 -07:00

..

ci_sh_def.yml

Separate concurrency groups for ci.yml, ci_sh_def.yml. Also changing name back from CI-SH-AVL to CI because I saw the github.com web UI getting confused if there are different names for the same .yml.

2021-10-27 10:55:24 -07:00

ci_sh_def.yml.patch

Separate concurrency groups for ci.yml, ci_sh_def.yml. Also changing name back from CI-SH-AVL to CI because I saw the github.com web UI getting confused if there are different names for the same .yml.

2021-10-27 10:55:24 -07:00

ci.yml

Separate concurrency groups for ci.yml, ci_sh_def.yml. Also changing name back from CI-SH-AVL to CI because I saw the github.com web UI getting confused if there are different names for the same .yml.

2021-10-27 10:55:24 -07:00

configure.yml

Merge branch 'master' into sh_merge_master

2021-09-23 08:56:16 -07:00

format.yml

Revert "All -DDOWNLOAD_EIGEN=OFF (to work around gitlab eigen outage)." (#3326)

2021-10-04 16:38:15 -04:00

labeler.yml

ci: correct types statement

2020-11-03 11:59:29 -05:00

pip.yml

Merge branch 'master' into sh_merge_master

2021-10-26 12:10:34 -07:00