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