File tree 1 file changed +10
-6
lines changed
1 file changed +10
-6
lines changed Original file line number Diff line number Diff line change @@ -28,14 +28,18 @@ runs:
28
28
shell : sh
29
29
run : opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git --verbose
30
30
- name : " Build and test the package"
31
- shell : sh
32
- run : opam install --with-test --yes --verbose .
33
- - name : " Build the documentation"
34
- if : ${{ inputs.build-doc == 'true' }}
35
31
shell : sh
36
32
run : |
37
- opam install --with-doc --deps-only --yes --verbose .
38
- opam exec -- dune build @doc
33
+ if ${{ inputs.build-doc == 'true' }}; then
34
+ opam install --with-test --with-doc --deps-only --yes --verbose .
35
+ opam exec -- dune build
36
+ opam exec -- dune runtest
37
+ opam exec -- dune build @doc
38
+ else
39
+ opam install --with-test --yes --deps-only --verbose .
40
+ opam exec -- dune build
41
+ opam exec -- dune runtest
42
+ fi
39
43
- name : " Publish the documentation"
40
44
if : ${{ inputs.build-doc == 'true' && inputs.publish-doc-if-built == 'true' }}
41
45
uses : peaceiris/actions-gh-pages@v3
You can’t perform that action at this time.
0 commit comments