Skip to content

Remove _site

Remove _site #10

Workflow file for this run

name: Deploy
on:
push:
branches:
- main
- live
permissions:
contents: read
pages: write
id-token: write
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Jekyll Build
uses: actions/jekyll-build-pages@v1
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
deploy-gh:
runs-on: ubuntu-latest
needs: build
if: github.ref == 'refs/heads/main'
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
deploy-live:
runs-on: ubuntu-latest
needs: build
if: github.ref == 'refs/heads/live'
steps:
- name: Download artifact
uses: actions/download-artifact@v4
with:
name: github-pages
path: ${{ runner.temp }}
- name: Extract page
run: tar xf ${{ runner.temp }}/artifact.tar
- name: Setup SSH
env:
SSH_PRIVATE: ${{ secrets.SSH_PRIVATE }}
SSH_KNOWN_HOSTS: ${{ secrets.SSH_KNOWN_HOSTS }}
SSH_CONFIG: ${{ secrets.SSH_CONFIG }}
run: |
mkdir -p ~/.ssh
echo "$SSH_PRIVATE" > ~/.ssh/id_ed25519
chmod 0600 ~/.ssh/id_ed25519
ssh-keygen -y -f ~/.ssh/id_ed25519 > ~/.ssh/id_ed25519.pub
echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts
echo "$SSH_CONFIG" > ~/.ssh/config
- name: Copy content
run: |
rsync -rlpz --delete . deploy:
environment:
name: deploy-live
url: "https://www.latex-project.org/"