3 ms·

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