Repository navigation

Bump GHC to 9.8.4, HLS to 2.11, Hlint 3.10, add git formatting hooks to nix develop #2820

	name: Shellcheck
	# This pipeline runs shellcheck on all files with extension .sh,
	# except the ones listed in .github/workflows/shellcheck-exceptions.txt.
	#
	# This pipeline uses Nix, so that the shellcheck version used is the same
	# ones as used by developers in Nix shells. This ensures the CI's behavior
	# is consistent with the one of developers.

	on:
	merge_group:
	pull_request:

	jobs:
	shellcheck:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- uses: cachix/install-nix-action@v30
	with:
	nix_path: nixpkgs=channel:nixos-unstable
	extra_nix_config: \|
	trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
	substituters = https://cache.iog.io/ https://cache.nixos.org/

	- uses: rrbutani/use-nix-shell-action@v1

	- name: Shellcheck
	run: \|
	for file in $(git ls-files "*.sh")
	do
	if grep -q "$file" ".github/workflows/shellcheck-exceptions.txt"
	then
	echo "⚠️ $file is ignored from shellcheck's verifications. Please consider fixing it."
	else
	shellcheck "$file"
	fi
	done