Bug#1040541: elpi FTBFS on i386
Source: elpi
Version: 1.16.10-2
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/fetch.php?pkg=elpi&arch=i386&ver=1.16.10-2&stamp=1688713585&raw=0
...
RUNNING sepcomp1 (simple separate compilation) dune
KO sepcomp1 (simple separate compilation) dune
RUNNING sepcomp2 (simple separate compilation) dune
KO sepcomp2 (simple separate compilation) dune
RUNNING sepcomp3 (separate compilation double naming) dune
KO sepcomp3 (separate compilation double naming) dune
RUNNING sepcomp4 (separate compilation double naming) dune
KO sepcomp4 (separate compilation double naming) dune
RUNNING sepcomp5 (separate compilation different processes (step 1)) dune
KO sepcomp5 (separate compilation different processes (step 1)) dune
RUNNING sepcomp6 (separate compilation different processes (step 2)) dune
KO sepcomp6 (separate compilation different processes (step 2)) dune
RUNNING sepcomp_perf (separate compilation perf) dune
KO sepcomp_perf (separate compilation perf) dune
...
------------------------------------------------------------------
Tests: 155
Passed: 148
Failed: 7
Skipped: 0
------------------------------------------------------------------
Log of the first failure: _log/dune+sepcomp1.log
------------------------------------------------------------------
executable: dune
args: exec tests/sources//sepcomp1.exe -- -I src/
Error: Thread.create: Resource temporarily unavailable
------------------------------------------------------------------
End log of the first failure: _log/dune+sepcomp1.log
------------------------------------------------------------------
make[2]: *** [Makefile:84: tests] Error 1
Reply to: