Add compat entries for stdlibs #3499
| Job | Run time |
|---|---|
| 37m 46s | |
| 23m 46s | |
| 16m 53s | |
| 27m 16s | |
| 37s | |
| 16m 59s | |
| 23m 52s | |
| 38m 56s | |
| 51s | |
| 19m 10s | |
| 21m 50s | |
| 20m 29s | |
| 16m 41s | |
| 4h 25m 6s |
| Job | Run time |
|---|---|
| 37m 46s | |
| 23m 46s | |
| 16m 53s | |
| 27m 16s | |
| 37s | |
| 16m 59s | |
| 23m 52s | |
| 38m 56s | |
| 51s | |
| 19m 10s | |
| 21m 50s | |
| 20m 29s | |
| 16m 41s | |
| 4h 25m 6s |