Bump docker/build-push-action from 5.1.0 to 5.2.0 #7159
Merged
Azure Pipelines / Z3 CI (Ubuntu 20 with OCaml on z3-static)
succeeded
Mar 11, 2024 in 35m 6s
Ubuntu 20 with OCaml on z3-static succeeded
Loading