Javier Diaz (Jun 27 2023 at 18:46): Javier Diaz (Jun 27 2023 at 18:46):Dear Zulip users,
When trying to build a GitHub project I get the following error message in the logs of the automated build job:
*** Solver z3: Solver terminated abnormally with error code 127
*** At command "by" (line 692 of "/opt/afp-sessions/Finite-Map-Extras/Finite_Map_Extras.thy")
As pointed out in the logs, the problem occurs in a call to the smt proof method. However, I can correctly build my project locally using the same Isabelle version (namely, Isabelle2022). Any help with this issue will be very appreciated.
Wolfgang Jeltsch (Jun 28 2023 at 14:34):To clarify: This happens when trying to build the session within GitHub Actions.
Last updated: Dec 21 2024 at 12:33 UTC