fix(ci): Re-enable building

.github/workflows/build-push.yml

@@ -8,14 +8,14 @@ concurrency: push-build
 
 jobs:
   # First, we build and test using the default build options and only open source external libraries
-#  build-test:
-#    name: Build & Test
-#    uses: ./.github/workflows/build-workflow.yml
-#    with:
-#      job_count: 4
-#      build_type: Release
-#      retention: 30
-#      upload_artifacts: true
+  build-test:
+    name: Build & Test
+    uses: ./.github/workflows/build-workflow.yml
+    with:
+      job_count: 4
+      build_type: Release
+      retention: 30
+      upload_artifacts: true
 
   # Then, we build and test using all licenses included proprietary ones
 #  build-proprietary:
@@ -37,14 +37,14 @@ jobs:
   # Finally, we run some simple benchmarks
   benchmark:
     name: Benchmark
-#    needs: [ build-test ]
+    needs: [ build-test ]
     uses: ./.github/workflows/benchmarker.yml
     with:
       benchmark_folder: "MINLP-convex-small"
       benchmark_type: "nl"
       enable_gurobi: false
       enable_gams: false
-      shot_artifact: shot-binary-b22eca247cc8986be66df8f7e5a9cbe6e55a1f70
+      shot_artifact: shot-binary-${{ github.sha }}
     secrets:
       gurobi_license: ${{ secrets.GUROBI_LICENSE_FILE }}
       gams_license: ${{ secrets.GAMS_LICENSE_FILE }}