Builds keep failing

[Lawrence Paulson]

Does anyone know what is going on here? The repeated failures are getting distracting.
Larry

Estimated 0:02:32 build time with generation scheme (default heuristic) (took 0.015s)
Running Isabelle-Solidity (started 0:01:50 on of1-proof_schedule+0-15) ...
Isabelle-Solidity FAILED (see also "isabelle build_log -H Error Isabelle-Solidity")
...
*** Reason:
*** Can't unify Proof.context to 'a -> thm list -> context
*** (Incompatible types)
*** ML error (line 154 of "~~/dirs/AFP/thys/Isabelle-Solidity/Specification.ML"):
*** Type error in function application.