Skip to content

Bump rpylean to v2026.4.3#40

Merged
nomeata merged 1 commit into
leanprover:masterfrom
Julian:bump-rpylean-v2026.4.3
Apr 28, 2026
Merged

Bump rpylean to v2026.4.3#40
nomeata merged 1 commit into
leanprover:masterfrom
Julian:bump-rpylean-v2026.4.3

Conversation

@Julian
Copy link
Copy Markdown
Contributor

@Julian Julian commented Apr 27, 2026

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

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@Julian
Copy link
Copy Markdown
Contributor Author

Julian commented Apr 27, 2026

@datokrat looks like it's the sonanoda build which failed here, happy to help if need be with bumping its commit here or let me know if you're about to do so

@nomeata nomeata merged commit 76859d6 into leanprover:master Apr 28, 2026
4 of 6 checks passed
@Julian Julian deleted the bump-rpylean-v2026.4.3 branch April 28, 2026 15:16
@datokrat
Copy link
Copy Markdown
Contributor

Sorry for that; it seems like the build is restored. Problem was probably solved as described here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants