Create a different file to update from submodule files #61
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Deploy Customized Unix Terminal GitHub Page | |
on: | |
push: | |
branches: ["main"] | |
workflow_dispatch: | |
permissions: | |
contents: write | |
jobs: | |
deploy: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- name: Set up Python | |
uses: actions/setup-python@v5 | |
with: | |
python-version: 3.12 | |
cache: pipenv | |
cache-dependency-path: Pipfile.lock | |
- name: Install Pipenv | |
run: python -m pip install pipenv | |
- name: Install dependencies with Pipenv | |
run: pipenv install --deploy --ignore-pipfile | |
- name: Build the site with MkDocs | |
run: pipenv run mkdocs build --strict | |
- name: Deploy to GitHub Pages | |
run: pipenv run mkdocs gh-deploy --force | |