external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add more comments on custom DNS settings.

pull/7154/head
Gokhan Gulbiz 2023-10-03 15:15:23 +03:00
parent 4fad9b6a5b
commit 25486bb53f
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/build_and_test.yml vendored
View File

@ -188,6 +188,9 @@ jobs:
container: container:
image: "${{ matrix.image_name }}:${{ matrix.pg_version }}${{ vars.image_suffix }}" image: "${{ matrix.image_name }}:${{ matrix.pg_version }}${{ vars.image_suffix }}"
options: --user root --dns=8.8.8.8 options: --user root --dns=8.8.8.8
# Due to Github creates a default network for each job, we need to use
# --dns= to have similar DNS settings as our other CI systems or local
# machines. Otherwise, we may see different results.
needs: needs:
- build - build
steps: steps: