lean4lean icon indicating copy to clipboard operation
lean4lean copied to clipboard
verified publisher icon digama0

Feat : Github Actions for keeping up with toolchain

Open Shreyas4991 opened this issue 1 year ago • 0 comments

This PR dependabot (to check github actions updates) and update operation (to update lean toolchain) per 10 days added

Some notes:

  • Uses: https://github.com/oliver-butterley/lean-update
  • each update either succeeds and makes a PR or fails and creates an issue.

Shreyas4991 avatar Oct 10 '24 12:10 Shreyas4991