Bump etc/coq-scripts from 2df5dbe to d3dc888 (#102)
#208
| Job | Run time |
|---|---|
| 4m 44s | |
| 6m 49s | |
| 4m 35s | |
| 7m 42s | |
| 10m 40s | |
| 5m 6s | |
| 7m 22s | |
| 8m 29s | |
| 11m 27s | |
| 6m 56s | |
| 1s | |
| 1h 13m 51s |
2df5dbe to d3dc888 (#102)
#208
| Job | Run time |
|---|---|
| 4m 44s | |
| 6m 49s | |
| 4m 35s | |
| 7m 42s | |
| 10m 40s | |
| 5m 6s | |
| 7m 22s | |
| 8m 29s | |
| 11m 27s | |
| 6m 56s | |
| 1s | |
| 1h 13m 51s |