Bump docker/build-push-action from 5.3.0 to 5.4.0 #7251
Closed
Azure Pipelines / Z3 CI (Ubuntu 20 with OCaml on z3-static)
succeeded
Jun 10, 2024 in 33m 58s
Ubuntu 20 with OCaml on z3-static succeeded
Loading