Closed jturner65 closed 2 weeks ago
Our CI Ubuntu image is being removed on September 30. This change will hopefully dodge this at least until we can move to greener pastures (github actions)
Motivation and Context
Our CI Ubuntu image is being removed on September 30. This change will hopefully dodge this at least until we can move to greener pastures (github actions)
How Has This Been Tested
Types of changes
Checklist