fix(build): use zig archive tools for z3 cross builds #2203
| Job | Run time |
|---|---|
| 10s | |
| 4s | |
| 2s | |
| 2s | |
| 5m 15s | |
| 5m 29s | |
| 13m 57s | |
| 16m 37s | |
| 16m 0s | |
| 1m 21s | |
| 1m 19s | |
| 1m 3s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 1m 28s | |
| 1m 44s | |
| 1m 5s | |
| 11m 37s | |
| 0s | |
| 0s | |
| 0s | |
| 4s | |
| 1h 17m 15s |
| Job | Run time |
|---|---|
| 10s | |
| 4s | |
| 2s | |
| 2s | |
| 5m 15s | |
| 5m 29s | |
| 13m 57s | |
| 16m 37s | |
| 16m 0s | |
| 1m 21s | |
| 1m 19s | |
| 1m 3s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 1m 28s | |
| 1m 44s | |
| 1m 5s | |
| 11m 37s | |
| 0s | |
| 0s | |
| 0s | |
| 4s | |
| 1h 17m 15s |