Fix benchmarks because of Rug #263

	# Main workflow for testing the Lingua Franca benchmarks.
	name: CI

	on:
	# Trigger this workflow on push events, but only on main.
	push:
	branches:
	- main
	# Trigger this workflow also on pull_request events
	pull_request:

	jobs:
	# Test the C benchmarks.
	c-benchmark-tests:
	uses: ./.github/workflows/benchmark-tests.yml
	with:
	target: 'C'
	cpp-benchmark-tests:
	uses: ./.github/workflows/benchmark-tests.yml
	with:
	target: 'Cpp'
	rs-benchmark-tests:
	uses: ./.github/workflows/benchmark-tests.yml
	with:
	target: 'Rust'
	ts-benchmark-tests:
	uses: ./.github/workflows/benchmark-tests.yml
	with:
	target: 'TS'

	find-latest-release:
	uses: lf-lang/lingua-franca/.github/workflows/latest-release.yml@master

	check-compile:
	runs-on: ubuntu-latest
	needs: find-latest-release
	steps:
	- uses: actions/checkout@v3
	- name: Set up Java 17
	run: \|
	echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH
	echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV
	shell: bash
	- uses: lf-lang/action-check-lf-files@main
	with:
	check_mode: "compile"
	no_compile_flag: false
	compiler_ref: ${{ needs.find-latest-release.outputs.ref }}

	check-format:
	runs-on: ubuntu-latest
	needs: find-latest-release
	steps:
	- uses: actions/checkout@v3
	- name: Set up Java 17
	run: \|
	echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH
	echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV
	shell: bash
	- uses: lf-lang/action-check-lf-files@main
	with:
	check_mode: "format"
	compiler_ref: ${{ needs.find-latest-release.outputs.ref }}

Provide feedback