Bump etc/coq-scripts from 7b54b75
to 5876e80
(#1829)
#76
Job | Run time |
---|---|
3h 1m 24s | |
41s | |
28s | |
1s | |
3h 2m 34s |
7b54b75
to 5876e80
(#1829)
#76
Job | Run time |
---|---|
3h 1m 24s | |
41s | |
28s | |
1s | |
3h 2m 34s |