PR #581 migrate ci region for more availability (fingers crossed).

migrate ci region for more availability (fingers crossed). #581

OlivierDehaene merged 2 commits into main from migrate_ci_region

migrate ci region for more availability (fingers crossed).

3ef9d568

Narsil requested a review from

OlivierDehaene 2 years ago

Update closing runner.

5562b510

OlivierDehaene merged f063ebde into main 2 years ago

OlivierDehaene deleted the migrate_ci_region branch 2 years ago

Reviewers

OlivierDehaene

Assignees

No one assigned

Labels

None yet

Milestone

No milestone