Skip to content

Merge pull request #119 from StrangeRanger/dev #115

Merge pull request #119 from StrangeRanger/dev

Merge pull request #119 from StrangeRanger/dev #115

Workflow file for this run

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
with:
fetch-depth: 0
- name: Import GPG key
uses: crazy-max/ghaction-import-gpg@v6
with:
gpg_private_key: ${{ secrets.GPG_PRIVATE_KEY }}
passphrase: ${{ secrets.GPG_PASSPHRASE }}
git_user_signingkey: true
git_commit_gpgsign: true
fingerprint: "F768450FB05B817D0B4BC26FB9B6A9B428C8676A"
trust_level: 5
- 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