Bump etc/coq-scripts from 5876e80 to 857071d (#152)
#55
| Job | Run time |
|---|---|
| 6m 12s | |
| 1s | |
| 6m 13s |
5876e80 to 857071d (#152)
#55
| Job | Run time |
|---|---|
| 6m 12s | |
| 1s | |
| 6m 13s |