ci: change dind host name #67

Open

mfenniak wants to merge 1 commit from change-dind-hostname into main

pull from: change-dind-hostname

merge into: mfenniak:main

mfenniak:main

mfenniak:try-ort

Conversation 0 Commits 1 Files changed 1 +1 -1

mfenniak commented 2026-05-30 19:48:24 -06:00

Owner

Copy link

No description provided.

mfenniak added 1 commit 2026-05-30 19:48:24 -06:00

fix: change dind host name 146ca1db0b

Some checks failed

Hide all checks

Checks and Tests / checks (pull_request) Failing after 1m12s

Required

Details

Some required checks were not successful.

This branch is out-of-date with the base branch

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin change-dind-hostname:change-dind-hostname

git switch change-dind-hostname

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

mfenniak/dynamodb_fdw!67

No description provided.