Back to pull request #889

Bump external/Phi from `aebb1cc` to `17ddede` #1790

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (3.1.63, Debug)	2m 13s
Build (3.1.63, Release)	3m 27s
Build (2.0.31, Debug)	1m 32s
Build (2.0.31, Release)	1m 40s
	8m 52s