Job 3390

CakeML:ee950602dd3d885c73d100d1172daeac0e386fe9
  Increase tactic timeout [Jun 16 10:42:54]
#1413 (holbuild)
Merging into:f01fe641199ad624c88978a172ae1954130edda6
  Merge pull request #1415 from CakeML/candle-reduce-mk_eq [Jun 16 15:48:39]
HOL:9d7499d9bd45579524e6a8bb982571208b67a905
  Fix mosml build of Holmake (must compile fspathTrie) [Jun 05 08:25:32]
Machine:pavlova

Jun 17 04:09:24 Claimed job
Jun 17 04:09:29 Reusing HOL
Jun 17 04:10:25 Starting developers
Jun 17 04:10:25 FAILED: developers
  ambiguous source name 'array_searchProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/array_searchProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/translator/monadic/examples/array_searchProgScript.sml
  ambiguous source name 'candle_kernelProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/ml_kernel/candle_kernelProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/prover/candle_kernelProgScript.sml
  ambiguous source name 'cnfScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/cnf/cnfScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/sat_encodings/cnfScript.sml
  ambiguous source name 'copying_gcScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/compiler/backend/gc/copying_gcScript.sml
    /scratch/cakeml/regression/cakeml-3390/translator/other-examples/auxiliary/copying_gcScript.sml
  ambiguous source name 'doubleArgProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/doubleArgProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/translator/monadic/examples/doubleArgProgScript.sml
  ambiguous source name 'fib.sml' in:
    /scratch/cakeml/regression/cakeml-3390/compiler/benchmarks/cakeml_benchmarks/sml/fib.sml
    /scratch/cakeml/regression/cakeml-3390/compiler/benchmarks/mlton_benchmarks/sml/fib.sml
  ambiguous source name 'helloCompileScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/ag32/helloCompileScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/x64/helloCompileScript.sml
  ambiguous source name 'helloProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/helloProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/translator/monadic/examples/helloProgScript.sml
  ambiguous source name 'helloProofScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/ag32/proofs/helloProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/x64/proofs/helloProofScript.sml
  ambiguous source name 'holAxiomsSyntaxScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/syntax/holAxiomsSyntaxScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/syntax/holAxiomsSyntaxScript.sml
  ambiguous source name 'holBoolScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/semantics/holBoolScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/semantics/holBoolScript.sml
  ambiguous source name 'holBoolSyntaxScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/syntax/holBoolSyntaxScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/syntax/holBoolSyntaxScript.sml
  ambiguous source name 'holConsistencyScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/semantics/holConsistencyScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/semantics/holConsistencyScript.sml
  ambiguous source name 'holExtensionScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/semantics/holExtensionScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/semantics/holExtensionScript.sml
  ambiguous source name 'holKernelPmatchScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/monadic/holKernelPmatchScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/monadic/holKernelPmatchScript.sml
  ambiguous source name 'holKernelProofScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/monadic/holKernelProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/monadic/holKernelProofScript.sml
  ambiguous source name 'holKernelScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/monadic/holKernelScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/monadic/holKernelScript.sml
  ambiguous source name 'holSemanticsExtraScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/semantics/holSemanticsExtraScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/semantics/holSemanticsExtraScript.sml
  ambiguous source name 'holSemanticsScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/semantics/holSemanticsScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/semantics/holSemanticsScript.sml
  ambiguous source name 'holSoundnessScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/semantics/holSoundnessScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/semantics/holSoundnessScript.sml
  ambiguous source name 'holSyntaxExtraScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/syntax/holSyntaxExtraScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/syntax/holSyntaxExtraScript.sml
  ambiguous source name 'holSyntaxScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/syntax/holSyntaxScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/syntax/holSyntaxScript.sml
  ambiguous source name 'holSyntaxSyntax.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/syntax/holSyntaxSyntax.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/syntax/holSyntaxSyntax.sml
  ambiguous source name 'ml_hol_initScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/ml_kernel/ml_hol_initScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/ml_kernel/ml_hol_initScript.sml
  ambiguous source name 'ml_hol_kernelProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/ml_kernel/ml_hol_kernelProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/ml_kernel/ml_hol_kernelProgScript.sml
  ambiguous source name 'ml_hol_kernel_funsProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/ml_kernel/ml_hol_kernel_funsProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/ml_kernel/ml_hol_kernel_funsProgScript.sml
  ambiguous source name 'ppKernelScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/candle/overloading/ml_kernel/ppKernelScript.sml
    /scratch/cakeml/regression/cakeml-3390/candle/standard/ml_kernel/ppKernelScript.sml
  ambiguous source name 'readerCompileScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/opentheory/compilation/readerCompileScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/opentheory/compilation/ag32/readerCompileScript.sml
  ambiguous source name 'readerProgProofScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/opentheory/compilation/ag32/proofs/readerProgProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/opentheory/compilation/proofs/readerProgProofScript.sml
  ambiguous source name 'simple_bstScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/tutorial/simple_bstScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/solutions/simple_bstScript.sml
  ambiguous source name 'sortCompileScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/ag32/sortCompileScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/x64/sortCompileScript.sml
  ambiguous source name 'sortProofScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/ag32/proofs/sortProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/x64/proofs/sortProofScript.sml
  ambiguous source name 'splitwordsScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/splitwordsScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/splitwordsScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/solutions/splitwordsScript.sml
  ambiguous source name 'wordcountCompileScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/ag32/wordcountCompileScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/x64/wordcountCompileScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/wordcountCompileScript.sml
  ambiguous source name 'wordcountProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/wordcountProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/wordcountProgScript.sml
  ambiguous source name 'wordcountProofScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/ag32/proofs/wordcountProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/examples/compilation/x64/proofs/wordcountProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/wordcountProofScript.sml
  ambiguous source name 'wordfreqCompileScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/tutorial/wordfreqCompileScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/solutions/wordfreqCompileScript.sml
  ambiguous source name 'wordfreqProgScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/tutorial/wordfreqProgScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/solutions/wordfreqProgScript.sml
  ambiguous source name 'wordfreqProofScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/tutorial/wordfreqProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/tutorial/solutions/wordfreqProofScript.sml
  ambiguous source name 'x64BootstrapProofScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/compiler/bootstrap/compilation/x64/32/proofs/x64BootstrapProofScript.sml
    /scratch/cakeml/regression/cakeml-3390/compiler/bootstrap/compilation/x64/64/proofs/x64BootstrapProofScript.sml
  ambiguous source name 'x64BootstrapScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/compiler/bootstrap/compilation/x64/32/x64BootstrapScript.sml
    /scratch/cakeml/regression/cakeml-3390/compiler/bootstrap/compilation/x64/64/x64BootstrapScript.sml
  ambiguous source name 'x64SexprScript.sml' in:
    /scratch/cakeml/regression/cakeml-3390/unverified/sexpr-bootstrap/x64/32/x64SexprScript.sml
    /scratch/cakeml/regression/cakeml-3390/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.