adding build failure investigator script #7412
Merged
Azure Pipelines / Z3 CI (Ubuntu build - cmake releaseSTGcc)
succeeded
Oct 4, 2024 in 28m 1s
Ubuntu build - cmake releaseSTGcc succeeded
Loading