Merge pull request #106 from StrangeRanger/dev #106
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 'Custom 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 | |