Skip to content

feat: Allow a way to fix the timestamp of the PHAR (#1117) #34

feat: Allow a way to fix the timestamp of the PHAR (#1117)

feat: Allow a way to fix the timestamp of the PHAR (#1117) #34

Workflow file for this run

name: GitHub-Pages
on:
push:
branches:
- main
paths:
- doc/**
- mkdocs.yaml
- .github/workflows/gh-pages.yaml
# See https://stackoverflow.com/a/72408109
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
env:
TERM: xterm
jobs:
deploy:
runs-on: ubuntu-latest
name: Deploy website
permissions:
contents: write
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Setup Python
uses: actions/setup-python@v3
with:
python-version: '3.8'
# install pip=>20.1 to use "pip cache dir"
- name: Upgrade pip
run: python3 -m pip install --upgrade pip
- name: Get pip cache dir
id: pip-cache
run: echo "::set-output name=dir::$(pip cache dir)"
- name: Cache dependencies
uses: actions/cache@v3
with:
path: ${{ steps.pip-cache.outputs.dir }}
key: ${{ runner.os }}-pip-${{ hashFiles('**/requirements.txt') }}
restore-keys: |
${{ runner.os }}-pip-
- name: Install dependencies
run: python3 -m pip install mkdocs mkdocs-material
- name: Rebuild website
run: make _website_build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./dist/website