* .gitlab-ci.yml (test): Instrument.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f03270c59d8b958954ae667f0735dc9a6fd594ae..541cc7ec5af7723cfaf9994ad028954f13b96c0a 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,6 +38,7 @@ test:
   variables:
     EMACS_EMBA_CI: 1
   script:
+    - df
     - ./autogen.sh autoconf
     - ./configure --without-makeinfo
     - make bootstrap