Bump etc/coq-scripts from 7b54b75 to 5876e80 (#150)
#52
Run and billable time
Learn about OS pricing on GitHub Actions| Job | Run time | Billable time |
|---|---|---|
| 6m 6s | 0s | |
| 1s | 0s | |
| 6m 7s | 0s |
7b54b75 to 5876e80 (#150)
#52
| Job | Run time | Billable time |
|---|---|---|
| 6m 6s | 0s | |
| 1s | 0s | |
| 6m 7s | 0s |