update #25

	name: Lean Action CI

	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

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- name: Cleanup to free disk space
	uses: jlumbroso/free-disk-space@main
	with:
	# this might remove tools that are actually needed,
	# if set to "true" but frees about 6 GB
	tool-cache: false
	# all of these default to true, but feel free to set to
	# "false" if necessary for your workflow
	android: true
	dotnet: false
	haskell: false
	large-packages: false
	docker-images: false
	swap-storage: false
	- name: Checkout project
	uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
	with:
	fetch-depth: 0 # Fetch all history for all branches and tags
	- name: Build and lint project
	uses: leanprover/lean-action@v1
	with:
	build: true
	test: false
	lint: false
	mk_all-check: true
	# build-args: --iofail
	- name: Compile documentation
	uses: leanprover-community/docgen-action@main
	with:
	blueprint: false
	homepage: docs

Navigation Menu