Z3Prover
Z3 4.15.3 is not on opam
Yes. The opam releases are not published by the Z3 team. I've done most of them in the recent past, but haven't had time for this one yet.
is it possible to link a github action to opam releases? then it can be automatic similar to npm release.
I think in theory it's possible. We would have to automatically create a PR to https://github.com/ocaml/opam-repository . Most of the time it's a copy of the previous opam file with the links and hashes in url updated. Example: https://github.com/ocaml/opam-repository/pull/28015/files . Somebody would have to check the CI though; it's never green and so it requires a human to look at what's red.
well, this is definitely less automatic than npm/python. You had to fix a bunch of things in setup files, also. We can always ask copilot to create an action that creates a PR, but from where? You used a private branch for that. Python uses a build step that is part of release build. npm uses the release and builds on that. The npm process is more modular and would be preferred.