leanprover-communityLeanUpdate0.1.0

GitHub Action which automatically updates Lean projects
Displaying 1-20 of 22 versions of LeanUpdate
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    2 days ago
    Released on October 2, 2026 at 6:39:37AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0-rc3
  2. 0.1Version track: 0.1
    0.1.0
    v0.13.0
    2 months ago
    Released on August 3, 2026 at 2:38:27PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc2
  3. 0.1Version track: 0.1
    0.1.0
    v0.12.0
    3 months ago
    Released on June 24, 2026 at 5:05:09PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0-rc1
  4. 0.1Version track: 0.1
    0.1.0
    v0.11.0
    4 months ago
    Released on June 18, 2026 at 7:58:35AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  5. 0.1Version track: 0.1
    0.1.0
    v0.10.0
    4 months ago
    Released on June 17, 2026 at 4:21:12PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  6. 0.1Version track: 0.1
    0.1.0
    v0.9.0
    4 months ago
    Released on June 16, 2026 at 2:45:49PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  7. 0.1Version track: 0.1
    0.1.0
    v0.8.0
    4 months ago
    Released on June 13, 2026 at 9:30:31AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0-rc2
  8. Not a part of any version track.
    718f86d
    v0.7.0
    a year ago
    Released on October 2, 2025 at 2:43:00PM
  9. Not a part of any version track.
    04bf84a
    v0.6.0
    a year ago
    Released on August 21, 2025 at 2:30:14PM
  10. Not a part of any version track.
    7cc53ae
    v0.5.0
    2 years ago
    Released on April 3, 2025 at 3:02:13PM
  11. Not a part of any version track.
    86198ef
    v0.4.0
    2 years ago
    Released on March 26, 2025 at 12:57:23PM
  12. Not a part of any version track.
    cf3c83e
    v0.3.0
    2 years ago
    Released on March 19, 2025 at 6:37:23AM
  13. Not a part of any version track.
    e099379
    v0.2.0
    2 years ago
    Released on March 16, 2025 at 8:32:23PM
  14. Not a part of any version track.
    5790e19
    v0.1.0
    2 years ago
    Released on March 16, 2025 at 8:08:59PM
  15. Not a part of any version track.
    e5759b4
    v0.0.8
    2 years ago
    Released on March 1, 2025 at 8:44:41PM
  16. Not a part of any version track.
    7ae15e9
    v0.0.7
    2 years ago
    Released on March 1, 2025 at 8:02:44PM
  17. Not a part of any version track.
    021fbfd
    v0.0.6
    2 years ago
    Released on March 1, 2025 at 7:34:15PM
  18. Not a part of any version track.
    fd5043d
    v0.0.5
    2 years ago
    Released on March 1, 2025 at 11:41:13AM
  19. Not a part of any version track.
    2e93dd9
    v0.0.4
    2 years ago
    Released on March 1, 2025 at 11:15:07AM
  20. Not a part of any version track.
    1926806
    v0.0.3
    2 years ago
    Released on March 1, 2025 at 6:43:38AM