OILS / .github / workflows / update-wiki.yml View on Github | oils.pub

42 lines, 34 significant
1name: update-wiki
2
3# Triggered whenever the wiki is updated
4on: gollum
5
6jobs:
7 # Build the wiki and commit+push it to oils-for-unix.github.io
8 build-deploy:
9 runs-on: ubuntu-22.04
10 env:
11 OILS_PAGES_GITHUB_TOKEN: ${{ secrets.OILS_PAGES_GITHUB_TOKEN }}
12 steps:
13 - name: Check out repository code
14 uses: actions/checkout@v4
15
16 - name: Install CommonMark
17 run: |
18 sudo apt install cmark
19
20 - name: Install YSH
21 run: |
22 expected="f4d41d20a0523dbcfbd4ba231f82edf25b08d4965d65bc71fcb56666d6743000"
23 wget -qO- "https://oils.pub/download/oils-for-unix-0.37.0.tar.gz" \
24 | tee oils-for-unix-0.37.0.tar.gz \
25 | sha256sum --check <(echo "$expected -")
26
27 tar -x --gz < oils-for-unix-0.37.0.tar.gz
28 cd oils-for-unix-0.37.0
29
30 ./configure
31 _build/oils.sh
32 sudo ./install
33
34 - name: Render Wiki Markdown
35 run: |
36 build/wiki.ysh render
37
38 - name: Commit and Push
39 run: |
40 git config --global user.email "bot@oils.pub"
41 git config --global user.name "Oils Wiki Bot"
42 build/wiki.ysh commit-push