blob: e6df2172f07e0715430dd393f109e4926bc8829d (
plain)
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
|
name: build
on:
push:
branches:
- main
jobs:
sphinx:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build HTML
uses: XanaduAI/sphinx-action@08cb9868314fb5be5f28644b540a38b8faaf8e87
with:
pre-build-command: >
apt-get update -y && apt-get install --no-install-recommends -y gettext
&& pip install myst-parser sphinx-rtd-theme
docs-folder: .
- name: Install RSA key
env:
SSH_AUTH_SOCK: /tmp/ssh_agent.sock
run: |
mkdir $HOME/.ssh
chmod 700 $HOME/.ssh
echo "${{ secrets.RSA_KEY }}" > $HOME/.ssh/id_rsa
chmod 600 $HOME/.ssh/id_rsa
echo "club1.fr ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBBC64tjZ1WjxMMoGeWiipApfCAaQe1sP/YFoNWYtckXV7XfFFKsBf70SHUw/oPjVZ1sdwcIL8wsH8Q00oYMIv7M=" > $HOME/.ssh/known_hosts
ssh-agent -a $SSH_AUTH_SOCK > /dev/null
ssh-add $HOME/.ssh/id_rsa
- name: Publish
env:
SSH_AUTH_SOCK: /tmp/ssh_agent.sock
run: make publish USER=docs
|