From 7e4b3d92d00c8be501b87948cf165c628eb08db6 Mon Sep 17 00:00:00 2001 From: Dongdong Tian Date: Mon, 13 Oct 2025 11:25:06 +0800 Subject: [PATCH 1/3] Temporarily add exec permission so that style fails --- pygmt/src/grdimage.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 pygmt/src/grdimage.py diff --git a/pygmt/src/grdimage.py b/pygmt/src/grdimage.py old mode 100644 new mode 100755 From 8cdc93c8374d5c27524f7d1be61462fce0bf761d Mon Sep 17 00:00:00 2001 From: Dongdong Tian Date: Mon, 13 Oct 2025 11:27:32 +0800 Subject: [PATCH 2/3] Add || true so that the workflow continues to run --- .github/workflows/format-command.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/format-command.yml b/.github/workflows/format-command.yml index d00b88b084f..db563fc2d01 100644 --- a/.github/workflows/format-command.yml +++ b/.github/workflows/format-command.yml @@ -45,7 +45,8 @@ jobs: # Run "make format" and commit the change to the PR branch - name: Commit to the PR branch if any changes run: | - make format + # Use '|| true' to ensure the workflow doesn't stop when `make format` fails + make format || true if [[ $(git ls-files -m) ]]; then git config --global user.name 'actions-bot' git config --global user.email '58130806+actions-bot@users.noreply.github.com' From 43fa2b100645a02124c295b0892ab163f42e6c0d Mon Sep 17 00:00:00 2001 From: Dongdong Tian Date: Mon, 13 Oct 2025 11:33:28 +0800 Subject: [PATCH 3/3] Formatting --- .github/workflows/format-command.yml | 2 +- pygmt/src/grdimage.py | 0 2 files changed, 1 insertion(+), 1 deletion(-) mode change 100755 => 100644 pygmt/src/grdimage.py diff --git a/.github/workflows/format-command.yml b/.github/workflows/format-command.yml index db563fc2d01..cf31abac314 100644 --- a/.github/workflows/format-command.yml +++ b/.github/workflows/format-command.yml @@ -46,7 +46,7 @@ jobs: - name: Commit to the PR branch if any changes run: | # Use '|| true' to ensure the workflow doesn't stop when `make format` fails - make format || true + make format || true if [[ $(git ls-files -m) ]]; then git config --global user.name 'actions-bot' git config --global user.email '58130806+actions-bot@users.noreply.github.com' diff --git a/pygmt/src/grdimage.py b/pygmt/src/grdimage.py old mode 100755 new mode 100644