Skip to content

Prepare v0.13.0 release#937

Merged
jswrenn merged 1 commit intorust-itertools:masterfrom
Philippe-Cholet:prepare-0.13.0
May 16, 2024
Merged

Prepare v0.13.0 release#937
jswrenn merged 1 commit intorust-itertools:masterfrom
Philippe-Cholet:prepare-0.13.0

Conversation

@Philippe-Cholet
Copy link
Copy Markdown
Member

@Philippe-Cholet Philippe-Cholet commented May 14, 2024

@Philippe-Cholet Philippe-Cholet added this to the next milestone May 14, 2024
@Philippe-Cholet Philippe-Cholet marked this pull request as ready for review May 14, 2024 16:58
@Philippe-Cholet Philippe-Cholet force-pushed the prepare-0.13.0 branch 2 times, most recently from 00d379f to 6d7cf27 Compare May 15, 2024 07:06
@jswrenn jswrenn mentioned this pull request May 16, 2024
@jswrenn
Copy link
Copy Markdown
Member

jswrenn commented May 16, 2024

@Philippe-Cholet: if this is ready to merge, go ahead and hit the Merge button!

@Philippe-Cholet Philippe-Cholet enabled auto-merge May 16, 2024 15:26
@Philippe-Cholet
Copy link
Copy Markdown
Member Author

@jswrenn Markdown changes only do not trigger the CI which is a good thing but it requires you to bypass it.

@jswrenn jswrenn disabled auto-merge May 16, 2024 15:30
@jswrenn jswrenn merged commit d5084d1 into rust-itertools:master May 16, 2024
@Philippe-Cholet Philippe-Cholet deleted the prepare-0.13.0 branch May 16, 2024 15:32
@jswrenn
Copy link
Copy Markdown
Member

jswrenn commented May 16, 2024

Ah, that's right. Published!

lpewewq pushed a commit to lpewewq/itertools that referenced this pull request Aug 4, 2024
lpewewq pushed a commit to lpewewq/itertools that referenced this pull request Aug 4, 2024
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.

2 participants