File tree Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Original file line number Diff line number Diff line change 27
27
cp -R result/* build
28
28
- name : Build documentation
29
29
env :
30
+ # TODO: change ${OWNER} to ledger prior to merging
30
31
OWNER : afh
31
32
REPO : ledger
32
33
run : |
@@ -37,13 +38,13 @@ jobs:
37
38
nix build github:${OWNER}/${REPO}/${LATEST}#web-docs
38
39
mkdir -p build/doc
39
40
cp result/share/doc/ledger/ledger* build/doc
40
- - name : Setup Pages
41
- uses : actions/configure-pages@v3
42
41
- name : Upload artifact
43
42
uses : actions/upload-pages-artifact@v1
44
43
with :
45
44
path : ' build'
45
+
46
46
deploy :
47
+ if : ${{ github.ref == 'refs/heads/master' }}
47
48
needs : build
48
49
permissions :
49
50
contents : read
54
55
url : ${{ steps.deployment.outputs.page_url }}
55
56
runs-on : ubuntu-latest
56
57
steps :
58
+ - name : Setup Pages
59
+ uses : actions/configure-pages@v3
57
60
- name : Deploy to GitHub Pages
58
61
id : deployment
59
62
uses : actions/deploy-pages@v2
You can’t perform that action at this time.
0 commit comments