Skip to content

CI updates including BuildKite#24

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

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

Conversation

@kshyatt

@kshyatt kshyatt commented Feb 25, 2026

Copy link
Copy Markdown
Member

No description provided.

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

@Jutho Jutho left a comment

Copy link
Copy Markdown
Member

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

kshyatt commented Feb 26, 2026

Copy link
Copy Markdown
Member Author

yes, this should probably go in first!

@kshyatt

kshyatt commented Feb 26, 2026

Copy link
Copy Markdown
Member Author

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

@github-actions

github-actions Bot commented Feb 26, 2026

Copy link
Copy Markdown

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