Change runner to ubuntu-latest-16-cores

Author: geropl

.github/workflows/push-main.yml

@@ -13,7 +13,7 @@ jobs:
   # Click New environment, set the name production, and click Configure environment.
   # Check the "Required reviewers" box and enter at least one user or team name.
   sync:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-latest-16-cores
     concurrency:
       group: ${{ github.ref == 'refs/heads/main' && github.run_id || github.sha }}-sync
       cancel-in-progress: true