mirror of
https://gitea.wildfiregames.com/0ad/0ad
synced 2026-06-16 05:13:58 -07:00
Fix linting jenkins file
The main branch wasn't pulled causing the diff to fail.
This commit is contained in:
parent
934ca601d7
commit
c960e6efd4
1 changed files with 3 additions and 0 deletions
|
|
@ -70,6 +70,9 @@ jobs:
|
|||
with:
|
||||
node-version: '20'
|
||||
|
||||
- name: Fetch the base branch, so we can use `git diff`
|
||||
run: git fetch origin ${{ env.BASE_SHA }}
|
||||
|
||||
- name: Install npm-groovy-lint
|
||||
run: npm install -g npm-groovy-lint
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue