diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml index 644bdce..5af7c2f 100644 --- a/.github/workflows/generate.yml +++ b/.github/workflows/generate.yml @@ -87,7 +87,7 @@ jobs: uses: actions/checkout@v3 # We don't need to clone git, really. A wget would suffice for GH-hosted runners. But using clone is better for Igor-hosted runners. with: repository: armbian/build #${{ github.repository_owner }}/armbian-build - ref: main + ref: force_download fetch-depth: 1 clean: false # true is default. it *will* delete the hosts /dev if mounted inside. @@ -97,7 +97,7 @@ jobs: # BRANCH and BOARD are in the env, but Docker doesn't know that; (sudo has --preserve-env). So we need to pass them as args. # SHARE_LOG=yes to share logs to pastebin sudo rm -rf output/debs/* || true - bash ./compile.sh kernel "BRANCH=${{env.BRANCH}}" "BOARD=${{env.BOARD}}" SHARE_LOG=yes CLEAN_LEVEL="alldebs" + bash ./compile.sh kernel "BRANCH=${{env.BRANCH}}" "BOARD=${{env.BOARD}}" SHARE_LOG=yes CLEAN_LEVEL="alldebs" FORCE_ARTIFACTS_DOWNLOAD="yes" ls -l output/debs/ du output