latest nightly build result

[<don...@is...>]

  ...
  ===> /bin/sh ../src/configure --disable-option-checking --disable-maintainer-mode --cache-file=config.cache SUCCEEDED
  ...
  ===> make SUCCEEDED

  ==> cbcstep3.log <==

  Type :h and hit Enter for context help.

  ;; connecting to "http://clisp.org/beta/impnotes/id-href.map"...connected...HTTP/1.1 301 Moved Permanently --> "https://clisp.sourceforge.io/beta/impnotes/id-href.map"
  *** - OPEN-HTTP("https://clisp.sourceforge.io/beta/impnotes/id-href.map"):
        HTTPS protocol is not supported yet
  Bye.
  Makefile:2247: recipe for target 'check-doc' failed
  make: *** [check-doc] Error 1
  ===> make check FAILED

So this problem is now back.
It looks to me like step 3 is doing more than my "make check" did.
After reporting 
  Test passed.
(where my previous make check reported failure and stopped)
it continues with 
  make[1]: Leaving directory '/home/don/hg/clisp/build-dir/tests'
  mkdir sacla-tests
  cd sacla-tests && ln -s ../../sacla-tests/*.lisp .

So now, how can I skip the check-doc?
Can I do it still with configure --cbcx or do I have to unpack that? 
(In which case I have to add whatever generates all this nice output.)

  ==> cbcstep4.log <==
  ...
  ===> make extracheck SUCCEEDED

  ==> cbcstep5.log <==
  (READ READLINE:*READLINE-INPUT-STREAM*)
  EQL-OK: 5
  RUN-TEST: finished #P"/home/don/hg/clisp/modules/readline/test.tst" (0 errors out of 37 tests)
  finished   4 files:               0 errors out of     632 tests
    1             i18n/test.tst:    0 errors out of      11 tests
    2         syscalls/test.tst:    0 errors out of     264 tests
    3           regexp/test.tst:    0 errors out of     320 tests
    4         readline/test.tst:    0 errors out of      37 tests
  Bye.
  ===> make base-mod-check SUCCEEDED

Excellent - finally succeeded

  ==> cbcstep6.log <==
  NIL
  EQL-OK: T
  *** - READ from
        #<INPUT BUFFERED FILE-STREAM CHARACTER #P"/home/don/hg/clisp/modules/rawsock/test.tst" @24>
        : #<PACKAGE RAWSOCK> has no external symbol with name "CONVERT-ADDRESS"

  Bye.
  Makefile:2407: recipe for target 'full-mod-check' failed
  make: *** [full-mod-check] Error 1
  ===> make full-mod-check FAILED

as before, a problem to be fixed, I guess

  ... cat /home/don/hg/clisp/build-dir/tests/*.erg
  cat: '/home/don/hg/clisp/build-dir/tests/*.erg': No such file or directory

And now I see the problem with unconditionally showing the test failures.
Well, as problems go, this is a good one to have.