Extract data from Tools/wasm/wasi that varies between Python versions into a config file
#175602
| Job | Run time |
|---|---|
| 23s | |
| 24s | |
| 8m 56s | |
| 29m 50s | |
| 3m 4s | |
| 4m 32s | |
| 4m 23s | |
| 9m 21s | |
| 3m 7s | |
| 3m 3s | |
| 2m 49s | |
| 3m 5s | |
| 2m 53s | |
| 3m 6s | |
| -1s | |
| -1s | |
| 4m 5s | |
| 12m 15s | |
| -1s | |
| 17m 48s | |
| 4m 13s | |
| 19m 0s | |
| 23m 53s | |
| 25m 45s | |
| 18m 55s | |
| 19m 13s | |
| 10m 15s | |
| 10m 17s | |
| 15m 56s | |
| 8m 34s | |
| 10m 52s | |
| 12m 5s | |
| 18m 18s | |
| 11m 8s | |
| 15m 57s | |
| 21m 26s | |
| 4s | |
| 5h 58m 52s |