Introduce configurable RADSan checks #10

	name: RADSan Real-Time Safety

	# TODO Re-enable this restriction when submitting PR
	#on:
	# push:
	# branches:
	# - main
	# - develop
	# pull_request:
	# branches:
	# - main
	# - develop
	on: [push]

	jobs:
	build_and_test:
	name: Check real-time safety with RADSan
	runs-on: ubuntu-latest
	container: realtimesanitizer/radsan-clang:latest
	steps:
	- name: Install CMake and Git
	run: apt-get update && apt-get install -y cmake git

	- name: Checkout code
	uses: actions/checkout@v2
	with:
	submodules: true

	- name: Configure
	run: cmake -Bbuild -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTS=ON -DRTNEURAL_ENABLE_RADSAN=ON

	- name: Build
	run: cmake --build build --config Release --parallel

	- name: Test
	run: cd build && ctest --output-on-failure

Provide feedback