Bump etc/coq-scripts from 7b54b75
to 5876e80
#75
Run and billable time
Learn about OS pricing on GitHub ActionsJob | Run time | Billable time |
---|---|---|
6m 19s | 0s | |
1s | 0s | |
6m 20s | 0s |
7b54b75
to 5876e80
#75
Job | Run time | Billable time |
---|---|---|
6m 19s | 0s | |
1s | 0s | |
6m 20s | 0s |