Merge pull request #13880 from JoergAtGithub/revert_file_corrupted_by… #3849

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu 24.04	21m 4s
macOS 12 x64	25m 25s
macOS 12 arm64	11m 56s
Windows 2019 (MSVC)	30m 43s
Update manifest file on download server	0s
	1h 29m 8s