diff options
| -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 0e350d1f..00162ebd 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 \ |