chore: comment out more steps to ease debugging #51

	name: Build

	# Build this on push
	on: [ push, workflow_dispatch ]

	# Only build one build at a time
	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

	# Then, we build and test using all licenses included proprietary ones
	# build-proprietary:
	# name: Build & Test (Proprietary licenses)
	# needs: [ build-test ]
	# uses: ./.github/workflows/build-workflow.yml
	# with:
	# job_count: 4
	# build_type: Release
	# retention: 30
	# upload_artifacts: false
	# enable_gurobi: true
	# enable_gams: true
	# artifact_suffix: '-proprietary'
	# secrets:
	# gurobi_license: ${{ secrets.GUROBI_LICENSE_FILE }}
	# gams_license: ${{ secrets.GAMS_LICENSE_FILE }}

	# Finally, we run some simple benchmarks
	benchmark:
	name: Benchmark
	# needs: [ build-test ]
	uses: ./.github/workflows/benchmarker.yml
	with:
	benchmark_folder: "MINLP-convex-small"
	benchmark_type: "nl"
	shot_executable: ${{ github.workspace }}/build/SHOT

	# Publish the test results as an output
	# publish-test:
	# name: Publish test results
	# needs: [ build-test ]
	# runs-on: [ self-hosted, docker ]
	# steps:
	# - uses: actions/download-artifact@v3
	# name: Download artifacts
	# with:
	# path: artifacts
	#
	# - name: Publish Test Results
	# uses: EnricoMi/publish-unit-test-result-action@v2
	# if: always()
	# with:
	# files: \|
	# artifacts/test-/.xml

Provide feedback