Check sources up to date after `make clean`

[colluca]

Extend the sources-up-to-date job to check that there are no unstaged changes after a make clean, e.g. no tracked files are cleaned, even if they are auto-generated.

snitch_cluster/.github/workflows/ci.yml

Lines 159 to 188 in 9a024dc

	######################
	# Sources Up-to-Date #
	######################
	sources-up-to-date:
	name: Check Sources Up-to-Date
	runs-on: ubuntu-22.04
	needs: build-docker
	container:
	image: ${{ needs.build-docker.outputs.image_name }}
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	- name: Generate opcodes
	run: |
	./util/generate-opcodes.sh
	- name: Generate RTL sources
	working-directory: target/snitch_cluster
	run: |
	make rtl
	# For some reason, the checkout is done by a different user,
	# than that running `git diff` (root, possibly due to Docker).
	# So we need to set the repository as a safe directory.
	- name: Git config safe.directory
	run: |
	git config --global --add safe.directory $GITHUB_WORKSPACE
	- name: Diff porcelain
	uses: mmontes11/diff-porcelain@v0.0.1
	with:
	message: Found differences, please update all sources