Bump etc/coq-scripts from 5876e80 to 857071d
#227
| Job | Run time |
|---|---|
| 6m 17s | |
| 5m 33s | |
| 7m 37s | |
| 5m 47s | |
| 5m 32s | |
| 1s | |
| 30m 47s |
5876e80 to 857071d
#227
| Job | Run time |
|---|---|
| 6m 17s | |
| 5m 33s | |
| 7m 37s | |
| 5m 47s | |
| 5m 32s | |
| 1s | |
| 30m 47s |