Bump etc/coq-scripts from 857071d to e4d9e81 (#112)
#230
| Job | Run time |
|---|---|
| 5m 25s | |
| 5m 48s | |
| 6m 14s | |
| 5m 26s | |
| 5m 31s | |
| 1s | |
| 28m 25s |
857071d to e4d9e81 (#112)
#230
| Job | Run time |
|---|---|
| 5m 25s | |
| 5m 48s | |
| 6m 14s | |
| 5m 26s | |
| 5m 31s | |
| 1s | |
| 28m 25s |