PR #20845 ci: debug failing run on master

ci: debug failing run on master #20845

Borda merged 4 commits into master from ci/secrets2

github-actions added ci

Borda marked this pull request as ready for review 189 days ago

Borda requested a review from

lantiga 189 days ago

Borda requested a review from

tchaton 189 days ago

Borda requested a review from

justusschock 189 days ago

Borda requested a review from

ethanwharris 189 days ago

ci: debug failing run on master

160f8cfc

rename

1ee8e86a

Borda force pushed from 7b4887b1 to 1ee8e86a 189 days ago

Borda changed the title ~~ci: debug failing run on master~~ ci: debug failing run on master [WIP] 189 days ago

echo 1 || echo 0

3ae8baed

Borda changed the title ~~ci: debug failing run on master [WIP]~~ ci: debug failing run on master 189 days ago

f1f124b3

tchaton approved these changes on 2025-06-17

Borda merged c85660c0 into master 188 days ago

Borda deleted the ci/secrets2 branch 188 days ago

Reviewers

tchaton

lantiga

justusschock

ethanwharris

Assignees

No one assigned

Labels

Milestone

No milestone