From 7bc3fd051e7a55ef8c66fc9122abf5ec03d67d21 Mon Sep 17 00:00:00 2001
From: vulcandth <vulcandth@gmail.com>
Date: Sat, 26 Aug 2023 10:11:05 -0500
Subject: CI copy `.map` files to symbols branch (#428)

---
 .github/workflows/main.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '.github/workflows')

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 }}
-- 
cgit v1.3.1-sl0p