Skip to content

Merge branch 'main' of github.com:formula-code/formula-code.github.io #6

Merge branch 'main' of github.com:formula-code/formula-code.github.io

Merge branch 'main' of github.com:formula-code/formula-code.github.io #6

Workflow file for this run

name: Build and Deploy to GitHub Pages
on:
push:
branches:
- main # Deploy when pushing to new-website branch
workflow_dispatch: # Allow manual triggering from GitHub UI
jobs:
build-and-deploy:
runs-on: ubuntu-latest
permissions:
contents: write # Required for pushing to the repository
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
fetch-depth: 0 # Fetch all history for proper git operations
- name: Setup Node.js
uses: actions/setup-node@v4
with:
node-version: '18'
cache: 'npm'
- name: Install dependencies
run: npm ci
- name: Build static site
run: npm run build
- name: Prepare GitHub Pages deployment
run: |
# Remove existing docs directory if it exists
rm -rf docs
# Copy build output to docs directory
cp -r build docs
# Create .nojekyll file to bypass Jekyll processing
touch docs/.nojekyll
- name: Configure Git
run: |
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
- name: Commit and push changes
run: |
git add docs
# Only commit if there are changes
if git diff --staged --quiet; then
echo "No changes to commit"
else
git commit -m "update github pages"
git push
fi
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}