[master] 5770abc35 circleci: Workspace emulator coverage

[Dridi Boukelmoune]

commit 5770abc3559b3824fbf083fdfe3f66d2984d3f46
Author: Dridi Boukelmoune <dridi.boukelmoune at gmail.com>
Date:   Tue Jul 13 10:28:28 2021 +0200

    circleci: Workspace emulator coverage

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2a58cbf45..8ed135706 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -326,7 +326,7 @@ workflows:
           name: distcheck_debian_buster
           dist: debian
           release: buster
-          extra_conf: --enable-asan --enable-ubsan
+          extra_conf: --enable-asan --enable-ubsan --enable-workspace-emulator
       - distcheck:
           name: distcheck_ubuntu_xenial
           dist: ubuntu