Bump etc/coq-scripts from 8b66ebe
to 2df5dbe
(#118)
#583
Job | Run time |
---|---|
11m 29s | |
10m 57s | |
11m 54s | |
1s | |
34m 21s |
8b66ebe
to 2df5dbe
(#118)
#583
Job | Run time |
---|---|
11m 29s | |
10m 57s | |
11m 54s | |
1s | |
34m 21s |