2018-10-15 18:01:33 +00:00
|
|
|
cache: cargo
|
2018-10-20 20:33:45 +00:00
|
|
|
before_cache:
|
2019-07-24 09:35:00 +00:00
|
|
|
- find ./target/debug -maxdepth 1 -type f -delete
|
2019-07-24 09:38:21 +00:00
|
|
|
- rm -fr ./target/debug/{deps,.fingerprint}/{*ra_*,*heavy_test*,*gen_lsp*,*thread_worker*}
|
2018-12-29 10:31:20 +00:00
|
|
|
- rm -f ./target/.rustc_info.json
|
2018-10-20 20:33:45 +00:00
|
|
|
|
2018-01-27 23:31:23 +00:00
|
|
|
matrix:
|
2018-12-29 10:31:20 +00:00
|
|
|
include:
|
2019-06-29 20:56:46 +00:00
|
|
|
- name: "Rust Tests"
|
|
|
|
os: linux
|
2019-05-23 13:05:01 +00:00
|
|
|
dist: xenial
|
2019-03-25 07:13:44 +00:00
|
|
|
language: rust
|
|
|
|
rust: stable
|
|
|
|
script:
|
|
|
|
- rustup component add rustfmt
|
|
|
|
- rustup component add rust-src
|
|
|
|
- cargo test --no-run # let's measure compile time separately
|
|
|
|
- cargo test
|
|
|
|
env:
|
|
|
|
- RUSTFLAGS="-D warnings", CARGO_INCREMENTAL=0
|
|
|
|
|
2019-06-29 20:56:46 +00:00
|
|
|
- name: "Rust Docs"
|
|
|
|
os: linux
|
2019-03-25 07:13:44 +00:00
|
|
|
if: branch = master AND type = push
|
2019-03-25 07:48:24 +00:00
|
|
|
before_script:
|
2019-03-23 19:43:38 +00:00
|
|
|
- DEPLOY_DOCS=1
|
2019-03-25 07:13:44 +00:00
|
|
|
language: rust
|
|
|
|
rust: stable
|
|
|
|
script:
|
2019-10-17 19:37:01 +00:00
|
|
|
- cargo doc --all --no-deps
|
2019-03-25 07:13:44 +00:00
|
|
|
env:
|
|
|
|
- RUSTFLAGS="-D warnings", CARGO_INCREMENTAL=0
|
|
|
|
|
2019-06-29 20:56:46 +00:00
|
|
|
- name: "VS Code Tests"
|
|
|
|
os: linux
|
|
|
|
language: node_js
|
|
|
|
dist: xenial
|
2018-12-29 10:31:20 +00:00
|
|
|
node_js: node
|
2019-06-29 20:56:46 +00:00
|
|
|
services:
|
|
|
|
- xvfb
|
|
|
|
before_install: cd editors/code
|
|
|
|
install:
|
2019-07-29 08:13:16 +00:00
|
|
|
- npm ci
|
2019-06-29 20:56:46 +00:00
|
|
|
- npm run vscode:prepublish
|
2018-12-29 10:31:20 +00:00
|
|
|
script:
|
2019-06-29 20:56:46 +00:00
|
|
|
- npm run travis
|
|
|
|
env:
|
|
|
|
- CXX="g++-4.9", CC="gcc-4.9"
|
2018-01-28 00:23:05 +00:00
|
|
|
|
|
|
|
branches:
|
2018-12-29 10:31:20 +00:00
|
|
|
only:
|
|
|
|
- staging
|
|
|
|
- master
|
|
|
|
- trying
|
2019-03-23 19:43:38 +00:00
|
|
|
|
|
|
|
deploy:
|
|
|
|
provider: pages
|
|
|
|
skip-cleanup: true
|
|
|
|
github-token: $DOCS_TOKEN # Set in the settings page of your repository, as a secure variable
|
2019-10-04 21:40:35 +00:00
|
|
|
keep-history: false
|
2019-10-17 19:37:01 +00:00
|
|
|
local-dir: target/doc
|
2019-03-23 19:43:38 +00:00
|
|
|
on:
|
|
|
|
branch: master
|
|
|
|
condition: $DEPLOY_DOCS = 1
|