Skip to content
.github/workflows/release-docs.yml

improve Bayesian optimization tutorial introduction (#419) #35

Sign in to view logs

improve Bayesian optimization tutorial introduction (#419)

improve Bayesian optimization tutorial introduction (#419) #35

Workflow file for this run

.github/workflows/release-docs.yml at d319652
on:
workflow_dispatch:
push:
branches:
- master
env:
PACK_DIR: /root/.pack
jobs:
docs:
runs-on: ubuntu-latest
container: ghcr.io/stefan-hoeck/idris2-pack
steps:
- uses: actions/checkout@v4
- name: Build docs
run: |
apt-get update && apt-get install -y curl
pack switch HEAD
pack --no-prompt --with-docs install spidr
mv spidr/build/docs .
- name: Upload docs
run: |
git config --global --add safe.directory "$GITHUB_WORKSPACE"
git add .
git config user.email "none"
git config user.name "none"
git commit -m "build documentation"
git push -f origin HEAD:gh-pages