Remove github pages and old docs gh actions (#3448)

* Remove github pages and old docs gh actions

* add originalvalue for linting

* Update tweaks.json
This commit is contained in:
Chris Titus
2025-06-18 16:48:33 -05:00
committed by GitHub
parent cda2babc66
commit faa4701c43
4 changed files with 2 additions and 176 deletions

View File

@ -1,33 +0,0 @@
name: GitHub Pages Deploy
on:
push:
paths:
- '.github/mkdocs.yml'
- '.github/requirements.txt'
- 'docs/**'
- 'overrides/**'
- '.github/CONTRIBUTING.md'
workflow_dispatch:
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/checkout@v4
with:
fetch-depth: '0' # Fetch all commit history for all branches as well as tags.
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: 3.x # Install latest Stable release of Python 3
cache: 'pip' # Caching pip dependencies
- name: Install Necessary Dependencies
run: pip install -r .github/requirements.txt
- name: Build & Deploy using mkdocs
run: mkdocs gh-deploy --force -f .github/mkdocs.yml