#define GITHUB_SHA "devel-202311220953Z"