Run on github

Author: tstellar

.github/workflows/release-binaries.yml

@@ -188,7 +188,7 @@ jobs:
         echo "build-flang=$build_flang" >> $GITHUB_OUTPUT
         case "${{ inputs.runs-on }}" in
           ubuntu-22.04*|windows-2022)
-            build_runs_on="depot-${{ inputs.runs-on }}-16"
+            build_runs_on="${{ inputs.runs-on }}"
             test_runs_on=$build_runs_on
             ;;
           macos-13)