kopia lustrzana https://github.com/jupyterhub/repo2docker
44 wiersze
1.3 KiB
YAML
44 wiersze
1.3 KiB
YAML
version: 2
|
|
jobs:
|
|
# Define a "build_docs" job to be run with Circle
|
|
build_docs:
|
|
# This is the base environment that Circle will use
|
|
docker:
|
|
- image: circleci/python:3.6-stretch
|
|
steps:
|
|
# Get our data and merge with upstream
|
|
- run: sudo apt-get update
|
|
- checkout
|
|
# Update our path
|
|
- run: echo "export PATH=~/.local/bin:$PATH" >> $BASH_ENV
|
|
# Restore cached files to speed things up
|
|
- restore_cache:
|
|
keys:
|
|
- cache-pip
|
|
- run: pip install --user -e .
|
|
# Install the packages needed to build our documentation
|
|
# This will depend on your particular package!
|
|
- run: pip install --user -r docs/doc-requirements.txt
|
|
# Cache some files for a speedup in subsequent builds
|
|
- save_cache:
|
|
key: cache-pip
|
|
paths:
|
|
- ~/.cache/pip
|
|
# Build the docs
|
|
- run:
|
|
name: Build docs to store
|
|
command: |
|
|
cd docs
|
|
make html
|
|
# Tell Circle to store the documentation output in a folder that we can access later
|
|
- store_artifacts:
|
|
path: docs/build/html/
|
|
destination: html
|
|
|
|
# Tell CircleCI to use this workflow when it builds the site
|
|
workflows:
|
|
version: 2
|
|
default:
|
|
jobs:
|
|
- build_docs
|