Bump docker/build-push-action from 5.0.0 to 5.1.0 #7008
Merged
Azure Pipelines / Z3 CI (Ubuntu 20 with OCaml)
succeeded
Nov 20, 2023 in 24m 8s
Ubuntu 20 with OCaml succeeded
Loading