Skip to content

chore: backport action#765

Merged
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:push-rmzplykyluxz
Apr 14, 2026
Merged

chore: backport action#765
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:push-rmzplykyluxz

Conversation

@mhuisi
Copy link
Copy Markdown
Collaborator

@mhuisi mhuisi commented Apr 14, 2026

No description provided.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@mhuisi mhuisi force-pushed the push-rmzplykyluxz branch from c493750 to 716d7bf Compare April 14, 2026 17:56
@mhuisi mhuisi merged commit 99a5705 into leanprover:master Apr 14, 2026
8 of 9 checks passed
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.

1 participant