Added automatic website deployment

This commit is contained in:
Mattia 2021-02-26 15:44:58 +01:00 committed by GitHub
parent 47beac3b85
commit 27c3169c3c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 32 additions and 0 deletions

32
.github/workflows/website.yml vendored Normal file
View File

@ -0,0 +1,32 @@
# Automatically pushes the README to the website repo
name: Deploy website
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
workflow_dispatch:
jobs:
tests:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Configure git credentials
uses: OleksiyRudenko/gha-git-credentials@v2
with:
email: github-action@users.noreply.github.com
name: GitHub Action
actor: github.actor
token: secrets.PUSH_TOKEN
- name: Push README to japl-lang.github.io
run: |
git clone https://github.com/japl-lang/japl-lang.github.io
cd japl-lang.github.io
cp ../README.md .
git add README.md
git commit -m "Actions: Update README"
git push