Fix wrong branch name in CI (#6571)

This commit is contained in:
Rot127 2026-06-28 04:49:46 +00:00 committed by GitHub
parent 328bca310d
commit 202a827785
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -753,7 +753,7 @@ jobs:
- name: Compile jsdec in EXTRA_PREFIX
run: |
if ${{ (contains(github.ref, 'release-') || github.ref == 'refs/heads/stable') }} ; then
git clone --depth 1 --branch master https://github.com/rizinorg/jsdec
git clone --depth 1 --branch stable https://github.com/rizinorg/jsdec
else
git clone --depth 1 --branch dev https://github.com/rizinorg/jsdec
fi