aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authortakase1121 <20792268+takase1121@users.noreply.github.com>2022-01-20 14:36:12 +0800
committertakase1121 <20792268+takase1121@users.noreply.github.com>2022-01-20 14:40:55 +0800
commitd11c8e2a7e45bab16ef59447b9c04ccc46b5e6f2 (patch)
treea0bd1a015e8c6d68622a6bdc38fc752f639bc41c /.github
parentde7a38faedee1061874486b166dc8fd1a696abf3 (diff)
downloadlite-xl-plugins-d11c8e2a7e45bab16ef59447b9c04ccc46b5e6f2.tar.gz
lite-xl-plugins-d11c8e2a7e45bab16ef59447b9c04ccc46b5e6f2.zip
fix github killing the script unintentionally
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/workflow.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 881e9ce..b97ca8b 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -17,7 +17,9 @@ jobs:
cd scripts
npm install
npm run main -- "https://github.com/${{ github.repository }}/blob/${GITHUB_REF##*/}/" ../README.md ../README.md
- cd ..
+ - name: Set environment variables
+ run: |
+ set +e # need to disable this
git diff --exit-code -s README.md
echo "has_diff=$?" >> $GITHUB_ENV
- name: create PR