Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixup CI #10

Merged
merged 4 commits into from
Dec 16, 2024
Merged

Fixup CI #10

merged 4 commits into from
Dec 16, 2024

Conversation

benjeffery
Copy link
Member

No description provided.

@benjeffery benjeffery changed the title Empty commit to test CI Fixup CI Dec 16, 2024
@benjeffery benjeffery marked this pull request as draft December 16, 2024 12:44
@benjeffery benjeffery force-pushed the test-CI branch 3 times, most recently from 3a8724f to 1d248eb Compare December 16, 2024 13:03
@benjeffery benjeffery marked this pull request as ready for review December 16, 2024 15:36
@benjeffery
Copy link
Member Author

Ok this is all good.
@petrelharp I'll add this to tskit-site, would you like mergify too?

@benjeffery benjeffery merged commit 3956713 into tskit-dev:main Dec 16, 2024
8 checks passed
@benjeffery benjeffery deleted the test-CI branch December 16, 2024 16:19
@petrelharp
Copy link
Contributor

Whoo, thanks!!

Um, I haven't got in the habit of using mergify, but if you think I should, then go for it?

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