Intentions

Workflow runs for Intentions

• chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.1

  failed:
  Intentions#2:Issue comment#3 (comment)createdbydependabot[bot]Bot
  Oct 21, 20266s
  More actions for workflow run 2

• chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.0

  failed:
  Intentions#1:Issue comment#2 (comment)createdbydependabot[bot]Bot
  Oct 7, 20268s
  More actions for workflow run 1