Skip to content

Publish

Publish #215

Workflow file for this run

name: Publish
on:
push:
branches:
- main
schedule:
# Schedule: 5:30PM Monday-Friday UTC, which is roughly
# 10:30 AM Pacific (give or take some DST) on weekdays.
- cron: '30 17 * * MON-FRI'
permissions:
contents: write
jobs:
publish:
runs-on: ubuntu-24.04 # don't use "-latest", we can manually update
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GNUPGHOME: /tmp # avoid "gpg: Fatal: can't create directory '/home/runner/.gnupg': File exists"
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install gzip bzip2 xz-utils zstd tar rpm cpio dpkg make
pip install pipenv
mkdir -p .venv && pipenv install
- name: Checkout gh-pages and setup git
run: |
git fetch origin gh-pages --depth=1
git worktree add ../gh-pages gh-pages
git config --global user.name 'Github Actions'
git config --global user.email 'noreply@example.com'
- name: Fetch updates and build page
run: |
.venv/bin/python -m kconfigs.main config.ini \
--state ../gh-pages/state.json \
--output-dir ../gh-pages/out
.venv/bin/python -m kconfigs.cleanup config.ini \
--input-dir ../gh-pages/out
.venv/bin/python -m kconfigs.analyzer config.ini \
--input-dir ../gh-pages/out \
--output-file ../gh-pages/docs/summary.json
cp index.html tux-sm.png ../gh-pages/docs/
- name: Push update
run: |
cd ../gh-pages
git add .
git commit -m "Automatic update"
git push origin gh-pages