File tree Expand file tree Collapse file tree 1 file changed +4
-5
lines changed
Expand file tree Collapse file tree 1 file changed +4
-5
lines changed Original file line number Diff line number Diff line change 1- name : Upload the website
1+ name : Build, test, and doc update
22on :
33 push :
44 branches :
55 - master
66 pull_request :
7- branches :
8- - doc*
97jobs :
108 run :
9+ if : ${{ github.ref == 'refs/heads/master' || (github.event_name == 'pull_request' && startsWith (github.head_ref, 'doc')) }}
1110 runs-on : ubuntu-latest
1211 steps :
1312 - uses : actions/checkout@v2
1413 - uses : avsm/setup-ocaml@v1
1514 with :
1615 ocaml-version : ' 4.10.0'
1716 - run : opam pin . --with-test --with-doc -y
18- - run : echo '::set-env name=BUILD_ROOT ::'`opam config var yuujinchou:build`
17+ - run : echo '::set-env name=opam-build-root ::'`opam config var yuujinchou:build`
1918 - uses : peaceiris/actions-gh-pages@v3
2019 with :
2120 github_token : ${{ secrets.GITHUB_TOKEN }}
22- publish_dir : ${{ format('{0}/_build/default/_doc/_html/', env.BUILD_ROOT ) }}
21+ publish_dir : ${{ format('{0}/_build/default/_doc/_html/', env.opam-build-root ) }}
You can’t perform that action at this time.
0 commit comments