search

pkgxdev / pantry

pkg manifests
https://pkgx.dev/pkgs/
168 stars 121 forks source link

❌ build issues: github.com/Z3Prover/z3=4.13.3 #7588

Closed github-actions[bot] closed 2 hours ago

github-actions[bot] commented 2 hours ago

Running log of build failure for github.com/Z3Prover/z3=4.13.3

github-actions[bot] commented 2 hours ago

Build failure

github.com/Z3Prover/z3=4.13.3

logs: https://github.com/pkgxdev/pantry/actions/runs/11284152238