2 Commits (c3941b6e65a4fd41d36dd9c3839731d8b5cee01f)

Author SHA1 Message Date
Adriaan de Groot 54c3adb466 CI: add brackets to one-line blocks
- since we mix Python (indentation is important) with C++ (it isn't),
   having indented one-line blocks which suddenly need {} when a
   statment is added is confusing and error-prone. Instead, make
   the blocks explicit, always, in C++.
6 years ago
Adriaan de Groot 1859808227 Move development-related scripts, tools, into ci/ 8 years ago