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 \