You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
language: rust
|
|
rust:
|
|
- stable
|
|
- nightly
|
|
cache: cargo
|
|
|
|
env:
|
|
- COMMAND=""
|
|
- COMMAND=size_check
|
|
|
|
matrix:
|
|
allow_failures:
|
|
- rust: nightly
|
|
- env: COMMAND=size_check
|
|
fast_finish: true
|
|
|
|
install:
|
|
- rustup target add thumbv6m-none-eabi
|
|
|
|
script: tools/check.py $COMMAND
|
