Test project, make blueprint, add documentation

Workflow runs for Test project, make blueprint, add documentation

• chore: migrate to the reusable leanprover-community/intentions workflow

  failed:
  Test project, make blueprint, add documentation#90:Pull request#77openedbykim-em
  kim-em:chore/reusable-intentions

  Jun 23, 20264m 3s
  More actions for workflow run 90

• Bump actions/checkout from 5.0.0 to 6.0.2

  failed:
  Test project, make blueprint, add documentation#89:Pull request#76openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-6.0.2

  Jan 26, 20263m 52s
  More actions for workflow run 89

• Bump leanprover/lean-action from 1.3.0 to 1.4.0

  failed:
  Test project, make blueprint, add documentation#88:Pull request#75openedbydependabot[bot]Bot
  dependabot/github_actions/leanprover/lean-action-1.4.0

  Jan 19, 20263m 50s
  More actions for workflow run 88

• Bump actions/checkout from 5.0.0 to 6.0.1

  failed:
  Test project, make blueprint, add documentation#87:Pull request#74openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-6.0.1

  Dec 8, 20254m 39s
  More actions for workflow run 87

• Bump actions/checkout from 5.0.0 to 6.0.0

  failed:
  Test project, make blueprint, add documentation#86:Pull request#73openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-6.0.0

  Nov 24, 20253m 56s
  More actions for workflow run 86