Add banded lower-Hessenberg determinant recurrence #3515

	name: Lean Action CI

	env:
	FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true

	on:
	push:
	pull_request:
	workflow_dispatch:

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read # Read access to repository contents
	pages: write # Write access to GitHub Pages
	id-token: write # Write access to ID tokens

	concurrency:
	group: pages
	cancel-in-progress: false

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v5
	- name: Check root imports
	run: python3 scripts/check_root_imports.py
	- name: Check generated OEIS tactic coverage
	run: python3 scripts/generate-oeis-tactic-coverage.py --check
	- name: Check proof status
	run: \|
	python3 scripts/check_proof_status.py --self-test
	python3 scripts/check_proof_status.py
	- name: Free up disk space
	run: \|
	df -h /
	sudo rm -rf /usr/local/lib/android /usr/share/dotnet /opt/ghc \
	/usr/local/.ghcup /opt/hostedtoolcache/CodeQL \|\| true
	sudo apt-get clean \|\| true
	df -h /
	- uses: leanprover/lean-action@v1
	- uses: leanprover-community/docgen-action@v1

Navigation Menu