add ci step for europe

This commit is contained in:
Oliver Bell committed 2023-05-13 23:28:53 +01:00
1 parent 018d47784f
commit b2041cb18b
1 file changed
+5
+5
View File
@@ -90,6 +90,11 @@ jobs:
echo "REPORTS_COMMIT_MSG=$( git log --format=%s ${GITHUB_SHA} )" >> $GITHUB_ENV
cp sa2.map gh-pages/maps/${GITHUB_SHA}.map
- name: Europe
run: |
make clean
make europe -j${nproc}
- name: Update reports
if: ${{ github.event_name == 'push' }}
uses: EndBug/add-and-commit@v7