2023-08-30 17:29:20 +02:00
|
|
|
name: Build
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
- main
|
|
|
|
permissions:
|
|
|
|
contents: write
|
2024-07-12 10:55:44 +02:00
|
|
|
|
2023-08-30 17:29:20 +02:00
|
|
|
jobs:
|
|
|
|
deploy:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2024-07-12 10:55:44 +02:00
|
|
|
- name: Checkout
|
|
|
|
uses: actions/checkout@v4
|
2024-07-12 10:57:47 +02:00
|
|
|
with:
|
2024-07-12 11:00:45 +02:00
|
|
|
fetch-depth: 0
|
2024-07-12 10:55:44 +02:00
|
|
|
- name: Setup Python
|
2024-07-12 11:07:38 +02:00
|
|
|
uses: actions/setup-python@v5
|
2023-08-30 17:29:20 +02:00
|
|
|
with:
|
2024-07-12 10:55:44 +02:00
|
|
|
python-version: '3.x'
|
|
|
|
- name: Install pip dependencies
|
|
|
|
run: pip install --user -r requirements.txt
|
2023-08-30 17:29:20 +02:00
|
|
|
- name: Build and deploy site
|
|
|
|
run: mkdocs gh-deploy --force
|