Allows selection of directories in File Explorer #10694

	name: "hygiene"

	on:
	pull_request:
	push:
	branches:
	- main
	- 5.0-dev

	concurrency:
	group: "${{ github.event.pull_request.number }}-${{ github.ref_name }}-${{ github.workflow }}"
	cancel-in-progress: true

	permissions: {}

	jobs:
	test:
	permissions:
	contents: read
	name: "hygiene-test"
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Generate Notebooks
	run: \|
	python3 -m venv venv
	. venv/bin/activate
	pip install nbformat && python scripts/generate_notebooks.py
	- name: Print Git Status
	run: echo $(git status) && echo $(git diff)
	- name: Assert Notebooks Match
	run: git status \| grep "nothing to commit, working tree clean"
	- name: Check for large files
	uses: actionsdesk/lfs-warning@4b98a8a5e6c429c23c34eee02d71553bca216425 # @v3.3
	with:
	filesizelimit: 5MB

Provide feedback