Bump etc/coq-scripts from 8b66ebe
to 2df5dbe
#4215
Job | Run time |
---|---|
1h 6m 24s | |
1h 18m 28s | |
1h 1m 19s | |
4s | |
3h 26m 15s |
8b66ebe
to 2df5dbe
#4215
Job | Run time |
---|---|
1h 6m 24s | |
1h 18m 28s | |
1h 1m 19s | |
4s | |
3h 26m 15s |