Add JSON schema files to GitHub Pages

.github/workflows/test.yml

@@ -29,24 +29,20 @@ jobs:
           cache: 'pip'
       - run: |
           python -m pip install -U pip
-          python -m pip install --use-pep517 '.[dev]'
+          python -m pip install --use-pep517 -e '.[dev]'
       - run: make test_coverage
         env:
           PYTHONWARNINGS: default
-
-  coverage_report:
-    if: github.ref_name == 'master'
-    needs: test
-    runs-on: ubuntu-latest
-    steps:
-      - run: make coverage_report
+      - run: |
+          make coverage_report
+          make github_pages
+        if: github.ref_name == 'master' && matrix.python-version == '3.12'
       - uses: actions/upload-pages-artifact@v2
-        with:
-          path: htmlcov
+        if: github.ref_name == 'master' && matrix.python-version == '3.12'
 
   deploy:
     if: github.ref_name == 'master'
-    needs: coverage_report
+    needs: test
     permissions:
       pages: write
       id-token: write

.gitignore

@@ -22,3 +22,6 @@ usertools/data/
 bac-wikt-*
 pagesbac/
 wikt-db*
+
+# GitHub Pages
+_site

Makefile

@@ -1,13 +1,17 @@
-# Run "make test" to run tests (with coverage analysis left in ./htmlcov)
+# Run "make test" to run tests
 # Run "make clean" to remove automatically generated files
 test:
-	python -m unittest discover -s tests
+	python -m unittest discover -b -s tests
 test_coverage:
 	python -m coverage erase
-	python -m coverage run -m unittest discover -s tests
+	python -m coverage run -m unittest discover -b -s tests
 coverage_report:
 	python -m coverage combine
 	python -m coverage html
+github_pages:
+	python json_schema/generate_schema.py
+	cp json_schema/*.json _site
+	python tools/github_pages.py
 clean:
 	python -m coverage erase
-	rm -rf __pycache__ htmlcov*
+	rm -rf __pycache__ _site