v0.0.133

github-actions released this 18 Mar 12:15

· 406 commits to master since this release

44dc11d

Add notifications for stale dependency warnings in preparation for leanprover/lean4#3247 (#393)

Assets 3