Ralf W. Grosse-Kunstleve f4fab85d87 Merge branch 'master' into sh_merge_master		2021-11-15 14:43:08 -08:00
..
ci.yml	Merge branch 'master' into sh_merge_master	2021-11-15 14:43:08 -08: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 `name`s 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 `name`s 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