diff --git a/scripts/ci/config/jasmin b/scripts/ci/config/jasmin
index 25190729..3cbe126f 100644
--- a/scripts/ci/config/jasmin
+++ b/scripts/ci/config/jasmin
@@ -1 +1 @@
-a250fba01a81dabdf5f8b9547afc97e8309fb451
+2c25aa576a0852bcf6ebe2d6a58adbe65bb497bb
diff --git a/src/Makefile b/src/Makefile
index 69fe2dc2..951bfe72 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -9,7 +9,7 @@
 # libjade/src$ make CI=1 distclean && make -j12 libjade-amd64.a libjade-amd64.h
 #
 # - build libjade-armv7m.a libjade-armv7m.h
-# libjade/src$ make CI=1 distclean && make -j12 ARCH=armv7m CC=arm-linux-gnueabi-gcc CFLAGS='-Wall -O3' AS=arm-linux-gnueabi-as AR=arm-linux-gnueabi-ar RANLIB=arm-linux-gnueabi-ranlib libjade-armv7m.a libjade-armv7m.h
+# libjade/src$ make CI=1 distclean && make -j12 CI=1 ARCH=armv7m CC=arm-linux-gnueabi-gcc CFLAGS='-Wall -O3' AS=arm-linux-gnueabi-as AR=arm-linux-gnueabi-ar RANLIB=arm-linux-gnueabi-ranlib libjade-armv7m.a libjade-armv7m.h && make CI=1 reporter
 #
 # In particular for the last command, it is helpful to setup some sort of
 # facilitator that sets the variables according to the system's configuration || *