#define GITHUB_SHA "devel-202305250729Z"