PR #20416 ci: update specific configs to latest

ci: update specific configs to latest #20416

ethanwharris merged 2 commits into master from ci/update

update CI

e23c54d0

Borda requested a review from

ethanwharris 1 year ago

Borda requested a review from

justusschock 1 year ago

github-actions added ci

Borda changed the title ~~update CI~~ ci: update specific configs to latest 1 year ago

t-vi approved these changes on 2024-11-13

mergify added has conflicts

mergify removed has conflicts

t-vi force pushed from f36ecf79 to b69cfed6 1 year ago

Merge branch 'master' into ci/update

1b01e4f6

t-vi force pushed from b69cfed6 to 1b01e4f6 1 year ago

ethanwharris approved these changes on 2024-11-13

ethanwharris merged 875cfbdb into master 1 year ago

ethanwharris deleted the ci/update branch 1 year ago

mergify added ready to be merged

Reviewers

ethanwharris

t-vi

justusschock

Assignees

No one assigned

Labels

ready to be merged ci

Milestone

No milestone