Bump etc/coq-scripts from 7b54b75 to 5876e80 (#107)
#219
| Job | Run time |
|---|---|
| 5m 30s | |
| 5m 22s | |
| 6m 1s | |
| 5m 39s | |
| 1s | |
| 22m 33s |
7b54b75 to 5876e80 (#107)
#219
| Job | Run time |
|---|---|
| 5m 30s | |
| 5m 22s | |
| 6m 1s | |
| 5m 39s | |
| 1s | |
| 22m 33s |