fix reports generation

This commit is contained in:
Oliver Bell committed 2022-05-06 19:46:04 +01:00
1 parent 62beaea206
commit e612a21941
1 file changed
+1 -1
+1 -1
View File
@@ -55,7 +55,7 @@ jobs:
- name: Generate reports
if: ${{ github.event_name == 'push' }}
run: |
mkdir gh-pages/reports
mkdir -p gh-pages/reports
python3 scripts/progress.py csv >> gh-pages/reports/progress-sa2-nonmatching.csv
python3 scripts/progress.py csv -m >> gh-pages/reports/progress-sa2-matching.csv
python3 scripts/progress.py shield-json > gh-pages/reports/progress-sa2-shield.json