skip[ci]: use warm pool for ci by joseph-isaacs · Pull Request #7253 · vortex-data/vortex

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Conversation

@joseph-isaacs

Copy link Copy Markdown

Contributor

@joseph-isaacs joseph-isaacs commented

Apr 1, 2026

edited

Loading

Use warm pools to speed up CI runs.

Saves 40s per run. Will merge and can see if we want for all of CI runs?

Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>

@joseph-isaacs joseph-isaacs added the changelog/skip

Do not list PR in the changelog

label

Apr 1, 2026
Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>
Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>

@joseph-isaacs joseph-isaacs enabled auto-merge (squash)

April 2, 2026 13:15

@joseph-isaacs joseph-isaacs merged commit 0368c39 into develop

Apr 2, 2026

101 of 109 checks passed

@joseph-isaacs joseph-isaacs deleted the ji/ci-pool-linux branch

April 2, 2026 14:02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@myrrc myrrc myrrc approved these changes

@robert3005 robert3005 Awaiting requested review from robert3005

Assignees

No one assigned

Labels

changelog/skip

Do not list PR in the changelog

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@joseph-isaacs @myrrc