Skip to content

Commit

Permalink
fix ci
Browse files Browse the repository at this point in the history
  • Loading branch information
yuzelin committed Aug 16, 2024
1 parent 2c9080b commit 5960d6e
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 4 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/paimon-python-checks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,8 @@ jobs:
runs-on: ubuntu-latest

steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Run lint-python.sh
run: |
chmod +x dev/lint-python.sh
Expand Down
12 changes: 8 additions & 4 deletions dev/lint-python.sh
Original file line number Diff line number Diff line change
Expand Up @@ -149,9 +149,9 @@ function get_os_index() {
local sys_os=$(uname -s)
echo "Detected OS: ${sys_os}"
if [ ${sys_os} == "Darwin" ]; then
return 0
echo 0
elif [[ ${sys_os} == "Linux" ]]; then
return 1
echo 1
else
echo "Unsupported OS: ${sys_os}"
exit 1
Expand Down Expand Up @@ -360,8 +360,12 @@ function install_environment() {
print_function "STAGE" "installing environment"

#get the index of the SUPPORT_OS array for convenient to install tool.
get_os_index $sys_os
local os_index=$?
local os_index=$(get_os_index | tail -n1)

# In some Linux distributions, md5sum is installed instead of md5. But our miniconda installation shell uses md5
if [ "$os_index" -eq 1 ] && [ ! -f /usr/local/bin/md5 ]; then
echo "Creating symlink for md5 to md5sum..."
sudo ln -s $(which md5sum) /usr/local/bin/md5

# step-1 install wget
# the file size of the miniconda.sh is too big to use "wget" tool to download instead
Expand Down

0 comments on commit 5960d6e

Please sign in to comment.