`constrained-generators`: Simplify `HasSpec` instance for `Bool` and move more things to `NumSpec` #672

	name: Shellcheck

	# This pipeline runs shellcheck on all shell scripts in the repo.
	#
	# It uses Nix, so that the shellcheck version used is the same as the one used
	# by developers in Nix shells. This ensures the CI's behavior is consistent
	# with the one of developers.

	on:
	push:
	branches: [ "master", "release/**" ]
	pull_request:
	# For running the workflow manually - useful for branches without PRs, for which CI isn't run automatically
	workflow_dispatch:

	jobs:
	shellcheck:
	runs-on: ubuntu-latest
	steps:
	- name: Check out source
	uses: actions/checkout@v4

	- name: Install Nix
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixos-unstable

	- name: Use nix
	uses: rrbutani/use-nix-shell-action@v1
	with:
	extraNixOptions: --accept-flake-config

	- name: Shellcheck
	run: \|
	git ls-files scripts \| xargs -rd\\n file \| egrep 'Bourne\|bash' \| cut -d: -f1 \| xargs -rd\\n shellcheck

Provide feedback