b3d28ae8

By: Lucien Huber <im@lcnbr.ch>

Select the signed Symbolica license on upgraded branches

Address the shared-key compatibility issue identified while checking the docs PR. New Symbolica uses a separately named signed CI secret; older branches can retain the legacy repository secret. Keep the standard local SYMBOLICA_LICENSE environment variable.

Total

2m32s

Time to Start Worker time Duration Time to finish Idle
Config 2s 5s 5s 8s 2s
Eval 10s 1m25s 1m25s 1m36s 2s
Build 1m24s 0s 0s 1m24s 0s
Test 1m28s 4m57s 56s 2m25s 0s
Deploy 2m30s 4s 4s 2m34s 5s
Suite 2s 6m32s 2m32s 2m34s 10s

Timeline

Config Eval Build Test Deploy Compressed gap
0s20s30s40s50s1m1m10s1m20s1m30s1m40s1m50s2m2m10s2m20s