caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Auto deploy to gh-pages with travis-ci
@ 2019-04-29 23:33 Helmut Brandl
  0 siblings, 0 replies; 1+ messages in thread
From: Helmut Brandl @ 2019-04-29 23:33 UTC (permalink / raw)
  To: caml users

[-- Attachment #1: Type: text/plain, Size: 1253 bytes --]

Hello list,

I have used the ocaml/ocaml-ci-scripts to start continuous integration with travis-ci. I have copied the ‘.travis.yaml’ file into my repository and started pushing to my GitHub repo. With that everything works fine. Travis builds the project, runs the tests and creates the documentation (I use ‘dune build’, ‘dune build @runtest’ and ‘dune build @doc').

Now I wanted to start an automatic deploy to GitHub pages and added the following to my ‘.travis.yaml’ file:

deploy:
  provider: pages
  skip_cleanup: true
  github_token: $GITHUB_TOKEN
  keep_history: false
  on:
    branch: master
  local_dir: _build/default/_doc/_html/


First I have forgotten to add the last line and travis-ci added the hole root directory to GitHub pages. After adding the last list, the script cannot find the specific documentation directory. I have checked in the log file, that the build script generates the documentation. However it possibly removes it at the end.

Does anybody have an idea how I can find the built documentation? I have difficulties in understanding the ‘.travis.opam.sh’ and ‘.travis.ocaml.sh’ scripts which are obviously loaded by the ‘.travis.yaml’ file.

Thanks for hints.
Helmut

[-- Attachment #2: Type: text/html, Size: 3486 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-04-29 23:33 [Caml-list] Auto deploy to gh-pages with travis-ci Helmut Brandl

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox