Code

chore: switch to lean-action#136

Code

Merged

kim-em merged 1 commit intoleanprover-community:masterleanprover-community/aesop:masterfrom austinletson:switch-to-lean-actionaustinletson/aesop:switch-to-lean-actionCopy head branch name to clipboardMay 14, 2024

+3-11

Commits

Commits on May 13, 2024

• chore: switch to lean-action

  austinletson

  committed
  f59b8fc

  Copy full SHA for f59b8fc