Simon Christ 205e153e79
[skip ci]
2021-05-12 20:06:11 +02:00

58 lines
1.7 KiB
YAML

name: docs
on:
push:
pull_request:
jobs:
Build_docs:
# if: "!contains(github.event.head_commit.message, '[skip docs]')"
runs-on: ubuntu-18.04
steps:
- uses: julia-actions/setup-julia@v1
- name: Install dependencies
run: |
sudo apt-get update -y
sudo apt-get install -y qt5-default \
poppler-utils \
pdf2svg \
texlive-latex-base \
texlive-binaries \
texlive-pictures \
texlive-latex-extra \
texlive-luatex \
ghostscript-x \
libgconf2-4
- name: build documentation
run: |
echo $(pwd)
cd ..
echo $(pwd)
git clone https://github.com/JuliaPlots/PlotDocs.jl.git
echo $(ls)
cd PlotsDocs.jl
echo $(pwd)
xvfb-run julia --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.develop(PackageSpec(path=joinpath("..", "Plots.jl"))); Pkg.instantiate()'
xvfb-run julia --color=yes --project=docs/ docs/make.jl
- name: Push directory to another repository
uses: cpina/github-action-push-to-another-repository@v1.3
env:
API_TOKEN_GITHUB: ${{ secrets.API_TOKEN_GITHUB }}
with:
source-directory: '../PlotDocs.jl/docs/build'
destination-github-username: 'BeastyBlacksmith'
destination-repository-name: 'Plots.jl'
user-email: simonchrist@gmx.de
target-branch: gh-pages
# Skip:
# if: "contains(github.event.head_commit.message, '[skip docs]')"
# runs-on: ubuntu-latest
# steps:
# - name: Skip Build docs 🚫
# run: echo skip docs