From fa22145363388185c56fe47e2ab63f6eeb264077 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sun, 21 Apr 2019 20:26:25 +0200
Subject: [PATCH] ci: the singleton example has been removed

---
 ci/script.sh | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/ci/script.sh b/ci/script.sh
index 0e350d1ffd..00162ebdd4 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 \