Bump etc/coq-scripts from 5876e80 to 857071d (#111)
#228
| Job | Run time |
|---|---|
| 5m 36s | |
| 5m 54s | |
| 5m 19s | |
| 5m 43s | |
| 5m 34s | |
| 1s | |
| 28m 7s |
5876e80 to 857071d (#111)
#228
| Job | Run time |
|---|---|
| 5m 36s | |
| 5m 54s | |
| 5m 19s | |
| 5m 43s | |
| 5m 34s | |
| 1s | |
| 28m 7s |