Bump etc/coq-scripts from e4d9e81 to 4327aa1 (#114)
#236
| Job | Run time |
|---|---|
| 6m 23s | |
| 5m 52s | |
| 5m 55s | |
| 5m 36s | |
| 5m 28s | |
| 6m 5s | |
| 1s | |
| 35m 20s |
e4d9e81 to 4327aa1 (#114)
#236
| Job | Run time |
|---|---|
| 6m 23s | |
| 5m 52s | |
| 5m 55s | |
| 5m 36s | |
| 5m 28s | |
| 6m 5s | |
| 1s | |
| 35m 20s |