This subdirectory contains helper scripts for our continuous integration workflows file.

They are designed to be platform-independent: they run on both Linux and Windows.
