Bump actions/upload-artifact from 3 to 4 #7065
Merged
Azure Pipelines / Z3 CI (Ubuntu 20 with OCaml)
succeeded
Dec 18, 2023 in 25m 10s
Ubuntu 20 with OCaml succeeded
Loading