diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-02-01 22:59:06 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-02-01 22:59:48 +0100 |
commit | 88af5e7a7769f091eb2def93b7cfd59b8913686a (patch) | |
tree | 2441d98e3630267c1eb7aaadd7bf861125209b48 | |
parent | 00cad63665a328ab95f0e3c7ead110fc21186111 (diff) |
ci: deploy changes to github pages
-rw-r--r-- | .travis.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index f0df30c..9d49c55 100644 --- a/.travis.yml +++ b/.travis.yml @@ -4,3 +4,10 @@ rust: stable script: - cargo run check - cargo run static-api build + +deploy: + provider: script + script: curl -LsSf https://git.io/fhJ8n | rustc - && (cd build && ../rust_out) + skip_cleanup: true + on: + branch: master |