~bfiedler/website

ref: 459f4ab65a9869d095f0db7a690684e3a4e0850e website/.build.yml -rw-r--r-- 1.2 KiB
459f4ab6 — Ben Fiedler Fix explanation for why OCaml type checking is undecidable 3 months ago
                                                                                
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
---
image: debian/unstable
packages:
  - golang-go
  - hugo
  - rsync
sources:
  - https://git.sr.ht/~bfiedler/website
  - https://git.sr.ht/~sircmpwn/openring
environment:
  user: deploy
  webhost: bfiedler.vsos.ethz.ch
  hostkey: ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDJ5Ldtww8LfteaCgsx7I6748pLxcVtMmlmG7fyV/npq
secrets:
  - e7266734-d2dc-46dc-a155-4225c901c280
tasks:
  - openring: |
      cd openring
      go build -o openring
  - build: |
      cd website
      ../openring/openring \
        -s https://blog.antei.de/feed.rss \
        -s https://blog.golang.org/feed.atom \
        -s https://christine.website/blog.rss \
        -s https://drewdevault.com/blog/index.xml \
        -s https://emersion.fr/blog/rss.xml \
        -s https://j.njsm.de/blog/index.xml \
        -s https://raymii.org/s/feed.xml \
        -s https://soatok.blog/category/cryptography/feed/ \
        -s https://sourcehut.org/blog/index.xml \
        < external/openring.in.html \
        > layouts/partials/openring.html
      hugo --minify
  - upload: |
      mkdir -p $HOME/.ssh
      echo $webhost $hostkey > $HOME/.ssh/known_hosts
      cd website
      rsync -rdP --delete public/ $user@$webhost: