diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml index 292050d4..9d8153bb 100644 --- a/.github/workflows/build_docs.yml +++ b/.github/workflows/build_docs.yml @@ -52,18 +52,21 @@ jobs: if [ -d "public" ]; then echo "public directory exists. Proceeding with deployment." - find . -maxdepth 1 ! -name '.git' ! -name '.' ! -name 'public' -exec rm -rf {} + + cp -r public/* . - touch .nojekyll - ls -la . + touch .nojekyll git add . - git commit -m "Deploy updated documentation to GitHub Pages from commit $GITHUB_SHA" - git push origin gh-pages --force + if git diff --cached --quiet; then + echo "No changes to commit. Skipping deployment." + exit 0 + else + git commit -m "Deploy updated documentation to GitHub Pages from commit $GITHUB_SHA" + git push origin gh-pages --force + fi else echo "Error: 'public/' directory does not exist during deployment." exit 1 fi - diff --git a/.github/workflows/lint_code.yml b/.github/workflows/lint_code.yml new file mode 100644 index 00000000..54350df2 --- /dev/null +++ b/.github/workflows/lint_code.yml @@ -0,0 +1,38 @@ +name: Lint Code + +on: + push: + branches: + - main + pull_request: + branches: + - main + +jobs: + lint: + runs-on: ubuntu-latest + + steps: + - name: Checkout repository + uses: actions/checkout@v3 + + - name: Set up Python + uses: actions/setup-python@v4 + with: + python-version: '3.10' + + - name: Install linting dependencies + run: | + pip install black==24.10.0 isort==5.13.2 ruff==0.6.9 + + - name: Run Black + run: | + black --check . + + - name: Run isort + run: | + isort --check-only . + + - name: Run Ruff + run: | + ruff check .