Skip to content

CI updates including BuildKite#24

Merged
kshyatt merged 3 commits intomainfrom
ksh/ci
Feb 26, 2026
Merged

CI updates including BuildKite#24
kshyatt merged 3 commits intomainfrom
ksh/ci

Conversation

@kshyatt
Copy link
Member

@kshyatt kshyatt commented Feb 25, 2026

No description provided.

@kshyatt kshyatt requested review from Jutho and lkdvos February 25, 2026 14:14
Copy link
Member

@Jutho Jutho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks OK I think. Same comment about the git diff of the "runtests.jl" being hard to parse. Also, how does this PR relate to #26 ? Does this need to be merged first?

@kshyatt
Copy link
Member Author

kshyatt commented Feb 26, 2026

yes, this should probably go in first!

@kshyatt
Copy link
Member Author

kshyatt commented Feb 26, 2026

But in either case it's not hard to rebase on top

@github-actions
Copy link

github-actions bot commented Feb 26, 2026

Your PR no longer requires formatting changes. Thank you for your contribution!

@kshyatt kshyatt merged commit e41566d into main Feb 26, 2026
10 of 13 checks passed
@kshyatt kshyatt deleted the ksh/ci branch February 26, 2026 06:33
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