mirror of
https://github.com/release-engineering/repo-autoindex.git
synced 2025-02-23 21:52:52 +00:00
e5543a3454
We should be using "apt-get update" to update package lists before installing any new packages. This has never mattered before, but recently the installation of various packages started to fail with 404 errors, which are resolved by updating the package lists first.
30 lines
664 B
YAML
30 lines
664 B
YAML
name: Publish docs
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
workflow_dispatch: {}
|
|
|
|
jobs:
|
|
docs:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v2
|
|
- name: Setup Python
|
|
uses: actions/setup-python@v2
|
|
with:
|
|
python-version: 3.9
|
|
- name: Install OS packages
|
|
run: |
|
|
sudo apt-get -y update
|
|
sudo apt-get install -y libkrb5-dev
|
|
- name: Install Tox
|
|
run: pip install tox
|
|
- name: Run Tox
|
|
run: tox -e docs
|
|
- name: Publish
|
|
uses: JamesIves/github-pages-deploy-action@4.1.3
|
|
with:
|
|
branch: gh-pages
|
|
folder: docs/_build/html
|