docs: improve README.md inputs usage section #80

	name: Functional Tests

	on:
	pull_request:
	branches: [main]
	paths:
	- "scripts/**"
	- "action.yml"
	- ".github/workflows/functional_tests.yml"
	- ".github/functional_tests/**"
	workflow_dispatch:

	jobs:
	lake-init-success:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	# run `lean-action` on a package generated with `lake init` for:
	# - a standalone package
	# - a package with a mathlib dependency
	# - a package with a `lakefile.toml` file
	# see ./github/functional_tests/lake_init/action.yml for more details on lake-init-arguments
	lake-init-arguments: ["standalone", "mathdep math", "tomltest .toml"]
	steps:
	- uses: actions/checkout@v4
	- uses: ./.github/functional_tests/lake_init_success
	with:
	lake-init-arguments: ${{ matrix.lake-init-arguments}}

	lake-init-failure:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: ./.github/functional_tests/lake_init_failure

	lake-test-success:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: ./.github/functional_tests/lake_test_success

	lake-test-failure:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: ./.github/functional_tests/lake_test_failure

	subdirectory-lake-package:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: ./.github/functional_tests/subdirectory_lake_package

Provide feedback