Just something #74

	# Copyright 2023 ETH Zurich and University of Bologna.
	# Licensed under the Apache License, Version 2.0, see LICENSE for details.
	# SPDX-License-Identifier: Apache-2.0

	name: ci
	on: [push, pull_request]

	jobs:
	##################
	# Build and Test #
	##################
	Banshee:
	runs-on: ubuntu-24.04
	timeout-minutes: 20
	strategy:
	matrix:
	rust:
	- 1.67.0 # minimum supported version
	steps:
	- uses: actions/checkout@v3
	with:
	submodules: 'true'
	- uses: actions-rust-lang/setup-rust-toolchain@v1
	with:
	toolchain: ${{ matrix.rust }}
	- name: Install LLVM
	run: \|
	sudo apt install llvm-15-dev libpolly-15-dev
	echo "LLVM_SYS_150_PREFIX=$(llvm-config-15 --prefix)" >> $GITHUB_ENV
	- name: Build Banshee
	run: cargo build
	- name: Run Banshee tests
	run: cargo test --all
	- name: Run software test
	run: make test TERM=xterm-256color LOG_FAILED=`mktemp` LOG_TOTAL=`mktemp`

Provide feedback