diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/after-success.sh | 3 | ||||
| -rw-r--r-- | ci/expected/pool.run | 2 | ||||
| -rw-r--r-- | ci/script.sh | 36 |
3 files changed, 31 insertions, 10 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh index 65ddb904..6c696937 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -23,7 +23,8 @@ main() { ./ghp-import/ghp_import.py $td set +x - git push -fq https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git gh-pages && echo OK + # NOTE push documentation to a different repository + git push -fq https://$GH_TOKEN@github.com/japaric/rtfm5.git gh-pages && echo OK rm -rf $td } diff --git a/ci/expected/pool.run b/ci/expected/pool.run new file mode 100644 index 00000000..040dcee8 --- /dev/null +++ b/ci/expected/pool.run @@ -0,0 +1,2 @@ +bar(0x2000008c) +foo(0x20000110) diff --git a/ci/script.sh b/ci/script.sh index 0e350d1f..b64617d0 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -104,14 +104,13 @@ main() { message capacity - singleton - types not-send not-sync shared-with-init generics + pool ramfunc ) @@ -121,6 +120,31 @@ main() { continue fi + if [ $ex = pool ]; then + if [ $TARGET != thumbv6m-none-eabi ]; then + local td=$(mktemp -d) + + local features="$nightly,timer-queue" + cargo run --example $ex --target $TARGET --features $features >\ + $td/pool.run + grep 'foo(0x2' $td/pool.run + grep 'bar(0x2' $td/pool.run + arm-none-eabi-objcopy -O ihex target/$TARGET/debug/examples/$ex \ + ci/builds/${ex}_${features/,/_}_debug_1.hex + + cargo run --example $ex --target $TARGET --features $features --release >\ + $td/pool.run + grep 'foo(0x2' $td/pool.run + grep 'bar(0x2' $td/pool.run + arm-none-eabi-objcopy -O ihex target/$TARGET/release/examples/$ex \ + ci/builds/${ex}_${features/,/_}_release_1.hex + + rm -rf $td + fi + + continue + fi + if [ $ex != types ]; then arm_example "run" $ex "debug" "$nightly" "1" arm_example "run" $ex "release" "$nightly" "1" @@ -140,13 +164,7 @@ main() { continue fi - if [ $ex = singleton ]; then - # singleton build is currently not reproducible due to - # https://github.com/japaric/owned-singleton/issues/2 - continue - fi - - if [ $ex != types ]; then + if [ $ex != types ] && [ $ex != pool ]; then arm_example "build" $ex "debug" "$nightly" "2" cmp ci/builds/${ex}_${nightly/nightly/nightly_}debug_1.hex \ ci/builds/${ex}_${nightly/nightly/nightly_}debug_2.hex |