Xelatex can't be run concurrently
This nightly job failed with:
| Run Xelatex: users_guide.tex => /tmp/extra-dir-9616886274866
| Run Xelatex: Haddock.tex => /tmp/extra-dir-9616886274869
This is XeTeX, Version 3.14159265-2.6-0.999992 (TeX Live 2020) (preloaded format=xelatex)
restricted \write18 enabled.
kpathsea: Running mktexfmt xelatex.fmt
mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order):
mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes:
mktexfmt: /builds/ghc/ghc/tmp-home/.texlive2020/texmf-config/web2c/fmtutil.cnf
/usr/bin/mktexfmt: mkdir(/builds/ghc/ghc/tmp-home/.texlive2020/texmf-var/web2c/) failed for tree /builds/ghc/ghc/tmp-home/.texlive2020/texmf-var/web2c: File exists at /usr/share/texlive/tlpkg/TeXLive/TLUtils.pm line 937.
I can't find the format file `xelatex.fmt'!
Error when running Shake build system:
at want, called at src/Main.hs:127:44 in main:Main
* Depends on: binary-dist
at need, called at src/Rules/BinaryDist.hs:310:13 in main:Rules.BinaryDist
* Depends on: binary-dist-dir
at need, called at src/Rules/BinaryDist.hs:168:9 in main:Rules.BinaryDist
* Depends on: docs
at need, called at src/Rules/Documentation.hs:137:9 in main:Rules.Documentation
* Depends on: _build/doc/Haddock.pdf
* Raised the exception:
user error (xelatex failed)It looks like the user's guide and haddock xelatex builds raced; I suppose this means that we can't run xelatex concurrently.