feat: bond-deleted raw correlation = isolated induced subgraph (per-s… #9046

	name: Lean Action CI

	on:
	push:
	branches: [main]
	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

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v5
	- uses: leanprover/lean-action@v1
	- name: Run GKS numerical tests
	run: lake exe GKSTest
	- name: Build sentinel property suite (Issue #888 Step P3)
	run: lake build test.IsingModel.SentinelProps

	# NOTE: docs generation via `leanprover-community/docgen-action` has been
	# temporarily disabled because every main-push run takes ~1 hour and
	# CI queues backed up. Re-enable once the docgen step is accelerated
	# (e.g. by caching or by running on a schedule instead of every push).
	# See README / docs/index.md for user-facing notice.
	#
	# docs:
	# if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	# needs: build
	# runs-on: ubuntu-latest
	# steps:
	# - uses: actions/checkout@v5
	# - uses: leanprover/lean-action@v1
	# - uses: leanprover-community/docgen-action@main
	# with:
	# use-github-cache: false

Provide feedback