-
Notifications
You must be signed in to change notification settings - Fork 39
46 lines (45 loc) · 1.24 KB
/
push.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
on:
- push
jobs:
build-and-test:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@main
- name: Install dependencies
run: |
curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
sudo dpkg -i pandoc.deb
sudo apt-get install nasm
sudo apt-get install fonts-stix
- name: Install Racket
uses: Bogdanp/setup-racket@v0.10
with:
architecture: "x64"
distribution: "full"
variant: "CS"
version: "7.9"
- name: Build and test
run: |
make -C docs main
- name: Archive docs
uses: actions/upload-artifact@v2
with:
name: docs
path: docs/main
deploy:
needs: build-and-test
runs-on: ubuntu-latest
if: github.ref == 'refs/heads/master'
steps:
- name: Download docs
uses: actions/download-artifact@v2
with:
name: docs
path: flock
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/master' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./flock