The new GitHub arm runners are available, so we can use them to build the ubuntu aarch64 binary instead of our custom machine.
Wolfgang Walther