- name: Setup Lean
  uses: Julian/setup-lean@main