Bump etc/coq-scripts from e4d9e81 to 4327aa1
#235
| Job | Run time |
|---|---|
| 5m 52s | |
| 6m 26s | |
| 5m 43s | |
| 6m 16s | |
| 5m 44s | |
| 5m 21s | |
| 1s | |
| 35m 23s |
e4d9e81 to 4327aa1
#235
| Job | Run time |
|---|---|
| 5m 52s | |
| 6m 26s | |
| 5m 43s | |
| 6m 16s | |
| 5m 44s | |
| 5m 21s | |
| 1s | |
| 35m 23s |