Running tests with few optional and external packages (but not internet due
to some issue with my current installation), I get
Using
--optional=4ti2,cbc,ccache,cryptominisat,dot2tex,e_antic,external,fricas,glucose,latte_int,lidia,lrslib,memlimit,normaliz,notedown,openssl,pandoc_attributes,pycosa
Same here on a fresh clone with macOS 10.15.16
[dochtml] Building en/constructions.
[dochtml]
[dochtml] [construct] building [html]: targets for 16 source files that are out
of date
[dochtml] [construct] updating environment: [new config] 16 added, 0 changed, 0
removed
^C[dochtml] Error buildi
