Fix #199 : help directory name clashing with ninja target #538

	name: testing_workflow

	on:
	pull_request:
	types: [opened, synchronize, reopened, closed]

	push:
	branches:
	- master
	- develop
	paths-ignore:
	- 'docs/**'

	jobs:

	testing:
	if: >
	github.event_name == 'push' \|\|
	(
	github.event_name == 'pull_request' &&
	github.event.pull_request.merged != true
	)

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.9

	- name: Install dependencies
	run: \|
	sudo apt update
	sudo apt install -y cmake iverilog make g++ perl cpanminus xsltproc

	# Install Verilog::Perl from GitHub
	git clone https://github.com/Veripool/Verilog-Perl.git
	cd Verilog-Perl
	perl Makefile.PL
	make
	sudo make install
	cd ..

	pip install jinja2~=3.1.6 peakrdl==1.5.0 rich==14.2.0

	- name: run tests
	run: \|
	mkdir build
	cd build
	cmake -DSOCMAKE_BUILD_TESTING=TRUE ../

	if [[ "${{ github.event_name }}" == "pull_request" ]]; then
	# PR build -> no CDash update
	make check
	else
	# Push / merge build -> CDash update
	make check_cdash
	fi

Provide feedback