configured to push html files to development #29

	name: Build Documentation

	on:
	push:
	branches: [development]

	concurrency:
	group: ${{ github.ref }}-${{ github.head_ref }}-ci-workflow
	cancel-in-progress: true

	permissions:
	contents: write # Required to read repository contents

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Install dependencies
	run: \|
	python3 -m pip install --upgrade pip
	python3 -m pip install -r Docs/requirements.txt

	- name: Build documentation
	run: \|
	cd Docs
	make clean
	make html

	- name: List modified files
	run: \|
	cd Docs/build/html
	git status

	- name: Add modified files to Git
	run: \|
	git config user.name "GitHub Actions"
	git config user.email "[email protected]"
	git add Docs/build/html

	- name: Commit changes
	run: git commit -m "Auto-update documentation"

	- name: Push changes
	run: git push origin development

	deploy:
	needs: build
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: deploy
	if: github.event_name == 'push' && github.ref == 'refs/heads/development'
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	repository-name: AMReX-Microelectronics/AMReX-Microelectronics.github.io
	branch: gh-pages
	folder: Docs/build/html
	clean: true
	commit-message: "Force update - $(date +'%Y-%m-%d %H:%M:%S')"

Provide feedback