Skip to content

Bump with Lean v4.8.0#86

Merged
Peiyang-Song merged 2 commits intomainfrom
4.8.0
Jun 24, 2024
Merged

Bump with Lean v4.8.0#86
Peiyang-Song merged 2 commits intomainfrom
4.8.0

Conversation

@Peiyang-Song
Copy link
Member

~

@Peiyang-Song Peiyang-Song self-assigned this Jun 24, 2024
@Peiyang-Song Peiyang-Song merged commit 5126d27 into main Jun 24, 2024
@Peiyang-Song Peiyang-Song mentioned this pull request Jun 24, 2024
@Peiyang-Song Peiyang-Song deleted the 4.8.0 branch June 24, 2024 06:26
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