Code

Update checkout and python actions#88

Code

Open

adomani wants to merge 1 commit intoleanprover-community:masterleanprover-community/blog:masterfrom adomani:adomani/update_actionsadomani/blog:adomani/update_actionsCopy head branch name to clipboard

+4-4

Commits

Commits on Aug 2, 2024

• Update checkout and python actions

  adomani

  committed
  66d2b59

  Copy full SHA for 66d2b59