Bump etc/coq-scripts from 7b54b75
to 5876e80
(#150)
#77
Job | Run time |
---|---|
6m 7s | |
1s | |
6m 8s |
7b54b75
to 5876e80
(#150)
#77
Job | Run time |
---|---|
6m 7s | |
1s | |
6m 8s |