diff options
author | takase1121 <20792268+takase1121@users.noreply.github.com> | 2022-01-20 14:36:12 +0800 |
---|---|---|
committer | takase1121 <20792268+takase1121@users.noreply.github.com> | 2022-01-20 14:40:55 +0800 |
commit | d11c8e2a7e45bab16ef59447b9c04ccc46b5e6f2 (patch) | |
tree | a0bd1a015e8c6d68622a6bdc38fc752f639bc41c /.github | |
parent | de7a38faedee1061874486b166dc8fd1a696abf3 (diff) | |
download | lite-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.yml | 4 |
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 |