Job 3395

CakeML:059d8ec5cae03f6d1abbaf558ad8ebc123218767
  Bump versions [Jun 17 15:40:49]
#1413 (holbuild)
Merging into:1cd9e29e95b42e41bf6e0c069a61313b3d01a21f
  First-order version of `peg_exec` and its translation to cv_compute ( [Jun 17 14:44:10]
HOL:d456022724bd61e57303339e998313b6580c592d
  build_help: derive sibling/stem manuals from Manual/mdbook.mk [Jun 15 06:09:40]
Machine:timtam

Jun 18 07:54:03 Claimed job
Jun 18 07:54:08 Building HOL
Jun 18 08:07:28 Starting developers
Jun 18 08:07:29 FAILED: developers
  ambiguous source name 'array_searchProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/array_searchProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/translator/monadic/examples/array_searchProgScript.sml
  ambiguous source name 'candle_kernelProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/ml_kernel/candle_kernelProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/prover/candle_kernelProgScript.sml
  ambiguous source name 'cnfScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/cnf/cnfScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/sat_encodings/cnfScript.sml
  ambiguous source name 'copying_gcScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/compiler/backend/gc/copying_gcScript.sml
    /scratch/cakeml/regression2/cakeml-3395/translator/other-examples/auxiliary/copying_gcScript.sml
  ambiguous source name 'doubleArgProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/doubleArgProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/translator/monadic/examples/doubleArgProgScript.sml
  ambiguous source name 'fib.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/compiler/benchmarks/cakeml_benchmarks/sml/fib.sml
    /scratch/cakeml/regression2/cakeml-3395/compiler/benchmarks/mlton_benchmarks/sml/fib.sml
  ambiguous source name 'helloCompileScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/ag32/helloCompileScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/x64/helloCompileScript.sml
  ambiguous source name 'helloProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/helloProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/translator/monadic/examples/helloProgScript.sml
  ambiguous source name 'helloProofScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/ag32/proofs/helloProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/x64/proofs/helloProofScript.sml
  ambiguous source name 'holAxiomsSyntaxScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/syntax/holAxiomsSyntaxScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/syntax/holAxiomsSyntaxScript.sml
  ambiguous source name 'holBoolScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/semantics/holBoolScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/semantics/holBoolScript.sml
  ambiguous source name 'holBoolSyntaxScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/syntax/holBoolSyntaxScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/syntax/holBoolSyntaxScript.sml
  ambiguous source name 'holConsistencyScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/semantics/holConsistencyScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/semantics/holConsistencyScript.sml
  ambiguous source name 'holExtensionScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/semantics/holExtensionScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/semantics/holExtensionScript.sml
  ambiguous source name 'holKernelPmatchScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/monadic/holKernelPmatchScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/monadic/holKernelPmatchScript.sml
  ambiguous source name 'holKernelProofScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/monadic/holKernelProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/monadic/holKernelProofScript.sml
  ambiguous source name 'holKernelScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/monadic/holKernelScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/monadic/holKernelScript.sml
  ambiguous source name 'holSemanticsExtraScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/semantics/holSemanticsExtraScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/semantics/holSemanticsExtraScript.sml
  ambiguous source name 'holSemanticsScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/semantics/holSemanticsScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/semantics/holSemanticsScript.sml
  ambiguous source name 'holSoundnessScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/semantics/holSoundnessScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/semantics/holSoundnessScript.sml
  ambiguous source name 'holSyntaxExtraScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/syntax/holSyntaxExtraScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/syntax/holSyntaxExtraScript.sml
  ambiguous source name 'holSyntaxScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/syntax/holSyntaxScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/syntax/holSyntaxScript.sml
  ambiguous source name 'holSyntaxSyntax.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/syntax/holSyntaxSyntax.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/syntax/holSyntaxSyntax.sml
  ambiguous source name 'ml_hol_initScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/ml_kernel/ml_hol_initScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/ml_kernel/ml_hol_initScript.sml
  ambiguous source name 'ml_hol_kernelProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/ml_kernel/ml_hol_kernelProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/ml_kernel/ml_hol_kernelProgScript.sml
  ambiguous source name 'ml_hol_kernel_funsProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/ml_kernel/ml_hol_kernel_funsProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/ml_kernel/ml_hol_kernel_funsProgScript.sml
  ambiguous source name 'ppKernelScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/candle/overloading/ml_kernel/ppKernelScript.sml
    /scratch/cakeml/regression2/cakeml-3395/candle/standard/ml_kernel/ppKernelScript.sml
  ambiguous source name 'readerCompileScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/opentheory/compilation/readerCompileScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/opentheory/compilation/ag32/readerCompileScript.sml
  ambiguous source name 'readerProgProofScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/opentheory/compilation/ag32/proofs/readerProgProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/opentheory/compilation/proofs/readerProgProofScript.sml
  ambiguous source name 'simple_bstScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/tutorial/simple_bstScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/solutions/simple_bstScript.sml
  ambiguous source name 'sortCompileScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/ag32/sortCompileScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/x64/sortCompileScript.sml
  ambiguous source name 'sortProofScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/ag32/proofs/sortProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/x64/proofs/sortProofScript.sml
  ambiguous source name 'splitwordsScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/splitwordsScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/splitwordsScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/solutions/splitwordsScript.sml
  ambiguous source name 'wordcountCompileScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/ag32/wordcountCompileScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/x64/wordcountCompileScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/wordcountCompileScript.sml
  ambiguous source name 'wordcountProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/wordcountProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/wordcountProgScript.sml
  ambiguous source name 'wordcountProofScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/ag32/proofs/wordcountProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/examples/compilation/x64/proofs/wordcountProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/wordcountProofScript.sml
  ambiguous source name 'wordfreqCompileScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/tutorial/wordfreqCompileScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/solutions/wordfreqCompileScript.sml
  ambiguous source name 'wordfreqProgScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/tutorial/wordfreqProgScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/solutions/wordfreqProgScript.sml
  ambiguous source name 'wordfreqProofScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/tutorial/wordfreqProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/tutorial/solutions/wordfreqProofScript.sml
  ambiguous source name 'x64BootstrapProofScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/compiler/bootstrap/compilation/x64/32/proofs/x64BootstrapProofScript.sml
    /scratch/cakeml/regression2/cakeml-3395/compiler/bootstrap/compilation/x64/64/proofs/x64BootstrapProofScript.sml
  ambiguous source name 'x64BootstrapScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/compiler/bootstrap/compilation/x64/32/x64BootstrapScript.sml
    /scratch/cakeml/regression2/cakeml-3395/compiler/bootstrap/compilation/x64/64/x64BootstrapScript.sml
  ambiguous source name 'x64SexprScript.sml' in:
    /scratch/cakeml/regression2/cakeml-3395/unverified/sexpr-bootstrap/x64/32/x64SexprScript.sml
    /scratch/cakeml/regression2/cakeml-3395/unverified/sexpr-bootstrap/x64/64/x64SexprScript.sml
Resolve by listing one of the offending directories in the [exclude] key of holproject.toml (or in [projects.<id>].exclude for a directory inside an external project), or by renaming one of the files.