Back to pull request #11545

Handle weird edge case where the extra_settings key does not exist yet. #3467

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prnumber	2s
prnumber	2s
Build WHL file / Build WHL	11m 5s
Build WHL file / Build WHL	11m 5s
Build DMG file / build_dmg	7m 46s
Build DMG file / build_dmg	5m 1s
Build DEB file / Build DEB file	3m 50s
Build DEB file / Build DEB file	3m 50s
Build APK file / build_apk	22m 11s
Build APK file / build_apk	22m 11s
Build EXE file / Build EXE file	1m 50s
Build EXE file / Build EXE file	1m 50s
Build PEX file / Build PEX	1m 0s
Build PEX file / Build PEX	1m 0s
	1h 32m 43s