Scripts: attempt to push to android repo

This commit is contained in:
Pieter Vander Vennet 2025-06-17 17:07:29 +02:00
parent 722715aedc
commit 824983a4bc

View file

@ -32,6 +32,7 @@ jobs:
- name: Update android repo - name: Update android repo
run: | run: |
ls
cd android cd android
git checkout main git checkout main
git pull git pull