diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 849bc5140..9c2068891 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -18,6 +18,13 @@ jobs: - name: Checkout repo uses: actions/checkout@master + - name: Checkout syms + if: ${{ github.event_name == 'push' }} + uses: actions/checkout@master + with: + path: symbols + ref: symbols + - name: Checkout agbcc uses: actions/checkout@master with: