diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-04-21 20:26:25 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-05-01 20:49:25 +0200 |
| commit | fa22145363388185c56fe47e2ab63f6eeb264077 (patch) | |
| tree | 664a08ebfb526e4ed2a3b84eb67a588cae57c23e | |
| parent | 3adc9c31f3fd46af7e3a42a5adba7471452f06e1 (diff) | |
ci: the singleton example has been removed
| -rw-r--r-- | ci/script.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/ci/script.sh b/ci/script.sh index 0e350d1..00162eb 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -104,8 +104,6 @@ main() { message capacity - singleton - types not-send not-sync @@ -140,12 +138,6 @@ 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 arm_example "build" $ex "debug" "$nightly" "2" cmp ci/builds/${ex}_${nightly/nightly/nightly_}debug_1.hex \ |