From 1e08940a03d6fe193e7ff5b25161979fa2d13e08 Mon Sep 17 00:00:00 2001 From: Simon Christ Date: Fri, 14 May 2021 18:31:04 +0200 Subject: [PATCH] remove push workflow (should work without) --- .github/workflows/docs.yml | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index c1f015c2..c4f9cc9a 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -37,18 +37,6 @@ jobs: echo $(pwd) xvfb-run julia --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.develop(PackageSpec(path=joinpath(pwd(), "..", "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: