Added GPG Key info to sign off on bot actions #69
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 | |