Bump etc/coq-scripts from 8b66ebe
to 2df5dbe
(#1685)
#4217
Job | Run time |
---|---|
1h 13m 9s | |
1h 0m 28s | |
1h 2m 34s | |
2s | |
3h 16m 13s |
8b66ebe
to 2df5dbe
(#1685)
#4217
Job | Run time |
---|---|
1h 13m 9s | |
1h 0m 28s | |
1h 2m 34s | |
2s | |
3h 16m 13s |