diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml index dfd4da4..b536aae 100644 --- a/.github/workflows/docs-and-testcov.yml +++ b/.github/workflows/docs-and-testcov.yml @@ -103,10 +103,17 @@ jobs: cp tarpaulin-report.json target/doc/docs/ cp tarpaulin-badge.json target/doc/docs/ cp last-commit-date.json target/doc/docs/ - mkdir -p target/doc/docs/.github - cp -r .github target/doc/docs/ + cp -r .github target/doc/docs/.github echo "" > target/doc/index.html + # verify that .github exists in the output directory + - name: Verify .github directory + run: | + if [ ! -d target/doc/docs/.github ]; then + echo ".github directory not found in output!" + exit 1 + fi + - name: Upload Pages artifact # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' uses: actions/upload-pages-artifact@v3