Tests fail with pipeline_error

[bachdavi]

Hello 👋
I tried to run the tests locally and got the following exception:

dyld[33619]: Library not loaded: @rpath/libhighs.1.5.dylib                                                                                             
  Referenced from: <C448DE4D-4EDC-3C46-AFE8-4AD8DF198300> /Users/david/Projects/Dotfiles/julia/.julia/artifacts/f5a7ecea4a8a9ee26d48f4fcce9af54d211adcb
4/bin/minizinc                                                             
  Reason: tried: '/Users/david/Projects/Dotfiles/julia/.julia/artifacts/f5a7ecea4a8a9ee26d48f4fcce9af54d211adcb4/bin/../lib/libhighs.1.5.dylib' (no suc
h file), '/Users/david/Projects/Dotfiles/julia/.julia/artifacts/f5a7ecea4a8a9ee26d48f4fcce9af54d211adcb4/bin/../lib/libhighs.1.5.dylib' (no such file),
 '/Users/david/Projects/Dotfiles/julia/.julia/juliaup/julia-1.6.0+0.x64.apple.darwin14/lib/julia/libhighs.1.5.dylib' (no such file), '/Users/david/.jul
ia/artifacts/ffe0a8aaa74bd3b3f610096503c0683b32e8ceec/lib/libhighs.1.5.dylib' (no such file), '/Users/david/Projects/Dotfiles/julia/.julia/juliaup/juli
a-1.6.0+0.x64.apple.darwin14/bin/../lib/julia/libhighs.1.5.dylib' (no such file), '/Users/david/Projects/Dotfiles/julia/.julia/juliaup/julia-1.6.0+0.x6
4.apple.darwin14/bin/../lib/libhighs.1.5.dylib' (no such file)
test_highs_feasibility: Error During Test at /Users/david/Projects/MiniZinc.jl/test/runtests.jl:16
  Got exception outside of a @test
  failed process: Process(`/Users/david/.julia/artifacts/f5a7ecea4a8a9ee26d48f4fcce9af54d211adcb4/bin/minizinc --solver highs --output-objective -o /va
r/folders/3b/0ks_42x93jvfw6f3xnkh_lqr0000gn/T/jl_UrjTPR/model.ozn /var/folders/3b/0ks_42x93jvfw6f3xnkh_lqr0000gn/T/jl_UrjTPR/model.mzn`, ProcessSignale
d(6)) [0]                                                                  
                       
  Stacktrace:                                                              
    [1] pipeline_error        
      @ ./process.jl:525 [inlined]                                         
    [2] run(::Base.CmdRedirect; wait::Bool)
      @ Base ./process.jl:440
    [3] run 
...

I'm running Julia 1.9.2 on MacOS with the Apple Silicon built. I got the same exception with 1.8 and 1.6.
It seems that there is something wrong with the binary. ProcessSignaled(6) should indicate SIGABRT, meaning there is some critical error. There is also a message about a missing libhighs library.

Steps to reproduce:

1. Fresh clone
2. Start a Julia REPL
3. instantiate and resolve
4. test

The issue persists even when I remove all artifacts from .julia.

We observed something similar the first time when our CI suddenly started to fail: https://github.com/RelationalAI/SolverAPI.jl/actions/runs/6337329320/job/17401990379

[odow]

Hmm. This is probably because of the new HiGHS release

[odow]

What is Pkg.status()?

It looks like MiniZinc_jll uses compat correctly:
https://github.com/JuliaBinaryWrappers/MiniZinc_jll.jl/blob/7cc3dd33d76582bc5ffc33b5dbb7ea0c2c7bed6d/Project.toml#L15

[bachdavi]

Pkg.status() gives me the following:

(MiniZinc) pkg> status
Project MiniZinc v0.3.3
Status `~/Projects/MiniZinc.jl/Project.toml`
  [b8f27783] MathOptInterface v1.20.1
  [77125aae] Chuffed_jll v0.10.4+0
  [3677d96b] MiniZinc_jll v2.7.4+3

[odow]

Weird. And ] status -m?

[odow]

Can reproduce https://github.com/jump-dev/MiniZinc.jl/actions/runs/6456636021/job/17526520855?pr=49

[odow]

MiniZinc_jll [3677d96b] MiniZinc_jll v2.7.4+3

was installed with [8fd58aa0] HiGHS_jll v1.6.0+0, but there is a

=1.5.3 compat constraint:
https://github.com/JuliaBinaryWrappers/MiniZinc_jll.jl/blob/7cc3dd33d76582bc5ffc33b5dbb7ea0c2c7bed6d/Project.toml#L15

[odow]

So the Project.toml has the restriction, but the registry doesn't...

https://github.com/JuliaRegistries/General/blob/master/M/MiniZinc/Compat.toml

[odow]

I'll make a new Yggdrasil release: JuliaPackaging/Yggdrasil#7513. Maybe that'll fix it. Otherwise we'll need to patch the registry. I've also asked in the #pkg channel on slack.

[odow]

Closed by #49

[odow]

The new release will work, and I'm patching the registry for older versions: JuliaRegistries/General#93084

[bachdavi]

Awesome, thank you very much!