From b2daea78f16b8678beb447ff9794ef57bf1890da Mon Sep 17 00:00:00 2001 From: Thibaut Lienart Date: Mon, 30 Mar 2020 18:28:50 +0200 Subject: [PATCH] copying feed.xml to index.xml for legacy --- .github/workflows/deploy.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 111b0668f7..54152385f7 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -39,7 +39,8 @@ jobs: run: julia -e ' using Pkg; Pkg.add(["NodeJS", "Franklin"]); using NodeJS; run(`$(npm_cmd()) install highlight.js`); - using Franklin; optimize()' + using Franklin; optimize(); + cp(joinpath("__site", "feed.xml"), joinpath("__site", "index.xml"))' - name: Deploy (preview) if: github.event_name == 'pull_request' uses: JamesIves/github-pages-deploy-action@releases/v3