diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 44317b8b..2f26a4d3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -66,11 +66,12 @@ jobs: if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }} run: | cp -v *.sym symbols/ + cp -v *.map symbols/ - name: Update symbols if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }} uses: EndBug/add-and-commit@v9 with: cwd: "./symbols" - add: "*.sym" + add: "*.sym *.map" message: ${{ github.event.commits[0].message }} |