From 0326dc4c74eaea7f32d1096c4b3a9e470941f49a Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Fri, 8 May 2026 19:13:07 -0400
Subject: [PATCH] Bump rpylean to v2026.5.1

Bumps the rpylean checker from v2026.4.3 to v2026.5.1.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
---
 checkers/rpylean.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/checkers/rpylean.yaml b/checkers/rpylean.yaml
index 0079f21..ea51898 100644
--- a/checkers/rpylean.yaml
+++ b/checkers/rpylean.yaml
@@ -1,9 +1,9 @@
-version: "v2026.4.3"
+version: "v2026.5.1"
 description: |
   **rpylean** - A Lean type checker written in (R)Python.
 url: https://github.com/Julian/rpylean
 ref: main
-rev: 5108c1bf78365e0765a34a3fe316270a688f3cc0
+rev: a9628310cb4159027f0c5b4e18c97489895a41b9
 build: |
   git clone --filter=blob:none https://github.com/pypy/pypy
   cat > .env <<__END__