chore(ci): github runner for build_all is bumped from macos10.15 to 12 (

magma#13385)

Signed-off-by: Nils Semmelrock <nils.semmelrock@tngtech.com>

.github/workflows/build_all.yml

@@ -2,6 +2,7 @@
 name: build-all
 
 on:
+  workflow_dispatch: null
   push:
     branches:
       - master
@@ -101,7 +102,7 @@ jobs:
           python ci-scripts/helm_repo_rotation.py
   agw-build:
     if: github.event_name == 'push' && github.repository_owner == 'magma'
-    runs-on: macos-10.15
+    runs-on: macos-12
     outputs:
       artifacts: ${{ steps.publish_packages.outputs.artifacts }}
     steps:
@@ -113,10 +114,6 @@ jobs:
         with:
           path: ~/.vagrant.d/boxes/magmacore-VAGRANTSLASH-magma_dev
           key: vagrant-box-magma-dev
-      - name: setup pyenv
-        uses: "gabrielfalcao/pyenv-action@5327db2939908b2ef8f62d284403d678c4b611d0" # pin@v8
-        with:
-          default: 3.8.5
       - uses: actions/setup-python@7f80679172b057fc5e90d70d197929d454754a5a # pin@v2
         with:
           python-version: '3.8.10'