- Nov 14, 2018
-
-
Jakub Klinkovský authored
-
- Sep 17, 2018
-
-
Jakub Klinkovský authored
-
Jakub Klinkovský authored
The benchmarks, examples, tools or Python bindings are not run by the CI, so we just check that they can be compiled. But we don't have to do it twice...
-
- Sep 09, 2018
-
-
Jakub Klinkovský authored
-
- Sep 05, 2018
-
-
Jakub Klinkovský authored
This reverts commit b9b95d10.
-
Jakub Klinkovský authored
-
Jakub Klinkovský authored
-
- Sep 02, 2018
-
-
Tomáš Oberhuber authored
-
- May 06, 2018
-
-
Jakub Klinkovský authored
-
- Jan 11, 2018
-
-
Jakub Klinkovský authored
-
- Jan 10, 2018
-
-
Jakub Klinkovský authored
- also optimized the allocation of tasks to build hosts
-
- Dec 14, 2017
-
-
Jakub Klinkovský authored
-
- Dec 05, 2017
-
-
Jakub Klinkovský authored
-