- Jul 13, 2021
-
-
Amir MOHAMMADI authored
This reverts merge request !228
-
- Jul 12, 2021
-
-
André Anjos authored
[bootstrap] Use http instead of https (faster and easier to maintain) See merge request !231
-
André Anjos authored
-
- Jul 09, 2021
-
-
Amir MOHAMMADI authored
Bump pybind11 version to 2.6.2, following bob.devel See merge request !230
-
Vincent POLLET authored
-
- Jul 07, 2021
-
-
Amir MOHAMMADI authored
[proxy] Use proxy for other channels, i.e., conda-forge, too See merge request !224
-
Amir MOHAMMADI authored
-
- Jul 02, 2021
-
-
Amir MOHAMMADI authored
Add conda-forge as a low priority channel in the builds See merge request !229
-
Amir MOHAMMADI authored
-
- Jul 01, 2021
-
-
Amir MOHAMMADI authored
Revert "Merge branch 'bob-devel-update' into 'master'" See merge request !228
-
Amir MOHAMMADI authored
This reverts merge request !227
-
- Jun 30, 2021
-
-
Amir MOHAMMADI authored
bumped bob-devel See merge request !227
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
use https version of bobconda proxy See merge request !226
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
related to #76
-
- Jun 17, 2021
-
-
Amir MOHAMMADI authored
Merge branch '73-index-error-when-fetching-package-previous-tags-and-there-aren-t-any' into 'master' Resolve "index error when fetching package previous tags and there aren't any" Closes #73 See merge request !218
-
Vincent POLLET authored
-
- Jun 16, 2021
-
-
Vincent POLLET authored
-
Vincent POLLET authored
-
- Jun 15, 2021
-
-
Amir MOHAMMADI authored
Update the template precommit config file See merge request !225
-
Yannick DAYER authored
-
- Jun 09, 2021
-
-
André Anjos authored
Re-direct miniconda installation through reverse proxy See merge request !223
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
Use apache2 reverse proxy instead of mirror See merge request !222
-
André Anjos authored
-
- Jun 08, 2021
-
-
André Anjos authored
-
André Anjos authored
Fix package privacy tests on nightlies Closes #75 See merge request !221
-
André Anjos authored
-
André Anjos authored
-
- Jun 07, 2021
-
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
- Jun 02, 2021
-
-
André Anjos authored
-
André Anjos authored
[scripts.mirror] Add option to filter packages by date See merge request !220
-
André Anjos authored
-
- May 26, 2021
-
-
Amir MOHAMMADI authored
-