mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-27 14:04:56 +01:00
Code Issues Projects Releases Packages Wiki Activity

ci: the singleton example has been removed

Browse source
This commit is contained in:
Jorge Aparicio 2019-04-21 20:26:25 +02:00
parent 3adc9c31f3
commit fa22145363
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
ci/script.sh
View file

@ -104,8 +104,6 @@ main() {
message message
capacity capacity
singleton
types types
not-send not-send
not-sync not-sync
@ -140,12 +138,6 @@ main() {
continue continue
fi 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 ]; then
arm_example "build" $ex "debug" "$nightly" "2" arm_example "build" $ex "debug" "$nightly" "2"
cmp ci/builds/${ex}_${nightly/nightly/nightly_}debug_1.hex \ cmp ci/builds/${ex}_${nightly/nightly/nightly_}debug_1.hex \