Code

feat: add actionlint#89

Code

Merged

bryangingechen merged 3 commits intoleanprover-community:masterleanprover-community/blog:masterfrom adomani:adomani/add_action_lintadomani/blog:adomani/add_action_lintCopy head branch name to clipboardAug 2, 2024

+24-4

Commits

Commits on Aug 2, 2024

• Update checkout and python actions

  adomani

  committed
  66d2b59

• add actionlint from mathlib

  adomani

  committed
  3f9dc4b

• Merge branch 'adomani/update_actions' into adomani/add_action_lint

  adomani

  committed
  4ab996d