- 08 Nov, 2019 1 commit
-
-
André Anjos authoredPrepare bob.devtools for .conda package support (c.f. issue #41) Closes #41 See merge request !122
-
- 29 Oct, 2019 1 commit
-
-
André Anjos authored
-
- 28 Oct, 2019 10 commits
-
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
Use local proxy See merge request !125
-
André Anjos authored
-
- 27 Oct, 2019 2 commits
-
-
André Anjos authored
-
André Anjos authored
-
- 24 Oct, 2019 4 commits
-
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
- 23 Oct, 2019 6 commits
-
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
- 22 Oct, 2019 3 commits
-
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
Created 2 commands to process gitlab logs See merge request !124
-
- 21 Oct, 2019 5 commits
-
-
Tiago de Freitas Pereira authored -
André Anjos authored
-
André Anjos authored
Own implementation of conda channel mirroring See merge request !123
-
André Anjos authored
-
André Anjos authored
-
- 18 Oct, 2019 2 commits
-
-
André Anjos authored
-
André Anjos authored
-
- 17 Oct, 2019 6 commits
-
-
André Anjos authored
Bump bob and beat-devel versions See merge request !121
-
André Anjos authored
-
André Anjos authored
Update miniconda installer to 4.7.12; Fix hashes to avoid... See merge request !120
-
André Anjos authored
[bootstrap] Update miniconda installer to 4.7.12; Fix hashes to avoid re-downloading installer; Black-ify
-
André Anjos authored
Remove packaging as it is not required by this package See merge request !119
-
André Anjos authored
-