Change default user to circleci

pull/7154/head
Gokhan Gulbiz 2023-08-17 12:11:30 +03:00
parent c1ff845ae3
commit 812077e74d
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 2 additions and 4 deletions

View File

@ -34,20 +34,18 @@ jobs:
runs-on: ubuntu-latest
container:
image: citus/extbuilder:latest
options: --user root
options: --user circleci
steps:
- uses: actions/checkout@v3.5.0
- uses: "./.github/actions/configure"
- name: Check Snapshots
run: ci/check_sql_snapshots.sh
check-style:
runs-on: ubuntu-latest
container:
image: citus/stylechecker:${{ inputs.style_checker_tools_version }}${{ inputs.image_suffix }}
options: --user root
options: --user circleci
steps:
- uses: actions/checkout@v3.5.0
- uses: "./.github/actions/configure"
- name: Check C Style
run: citus_indent --check
- name: Check Python style