fix: some minor fixes to the benchmarker workflow #50

	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