Continuous integration overview

The CI system assumes that, when building plugins, HDPS/core dependency has already been built successfully. Prior to pushing changes to a (feature/release) branch, you are advised to verify if the HDPS/core dependency is built properly (on the GitHub actions page).