Code

make this action mathlib-independent#17

Code

Merged

oliver-butterley merged 5 commits intooliver-butterley:mainoliver-butterley/lean-update:mainfrom Seasawher:patchSeasawher/lean-update-action:patchCopy head branch name to clipboardJun 10, 2024

+10-23

Commits

Commits on Jun 4, 2024

• TEST: make mathlib-independent

  Seasawher

  committed
  7ff6296

  Copy full SHA for 7ff6296

• TEST: use my modified version action

  Seasawher

  committed
  4ba94fe

  Copy full SHA for 4ba94fe

Commits on Jun 6, 2024

• use leanprover/lean-action

  Seasawher

  committed
  89f025d

  Copy full SHA for 89f025d

Commits on Jun 10, 2024

• TEST: use gh command to get Lean release

  Seasawher

  committed
  6211010

  Copy full SHA for 6211010

• update lean-action

  Seasawher

  committed
  99afcc3

  Copy full SHA for 99afcc3