Merge branch 'main' of github.com:sourcemeta-research/codegen #10
| Job | Run time |
|---|---|
| 2m 10s | |
| 1m 46s | |
| 2m 18s | |
| 3m 10s | |
| 1m 46s | |
| 1m 47s | |
| 1m 43s | |
| 1m 36s | |
| 3m 10s | |
| 1m 41s | |
| 1m 35s | |
| 22m 42s |
| Job | Run time |
|---|---|
| 2m 10s | |
| 1m 46s | |
| 2m 18s | |
| 3m 10s | |
| 1m 46s | |
| 1m 47s | |
| 1m 43s | |
| 1m 36s | |
| 3m 10s | |
| 1m 41s | |
| 1m 35s | |
| 22m 42s |