[ccleve]

I did, in fact, get the build server to work. Posting the resulting artifacts to Github Packages has been the big problem.