name: docs on: push: 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 PlotDocs.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