Bump etc/coq-scripts from 8ce1d5d to 8b66ebe (#96)
#188
| Job | Run time |
|---|---|
| 10m 4s | |
| 11m 56s | |
| 6m 25s | |
| 9m 55s | |
| 7m 20s | |
| 12m 58s | |
| 14m 42s | |
| 6m 5s | |
| 6m 56s | |
| 7m 40s | |
| 1h 34m 1s |
8ce1d5d to 8b66ebe (#96)
#188
| Job | Run time |
|---|---|
| 10m 4s | |
| 11m 56s | |
| 6m 25s | |
| 9m 55s | |
| 7m 20s | |
| 12m 58s | |
| 14m 42s | |
| 6m 5s | |
| 6m 56s | |
| 7m 40s | |
| 1h 34m 1s |