If at any point this needs to be disabled, go into
"Settings -> Actions" for the Github Audacity project and
select the "Disable Actions for this repository" radio button.
Or, edit build.yml and follow the instructions at the top to
disable the action.
