Bump etc/coq-scripts from 5876e80
to 857071d
#79
Run and billable time
Learn about OS pricing on GitHub ActionsJob | Run time | Billable time |
---|---|---|
5m 50s | 0s | |
1s | 0s | |
5m 51s | 0s |
5876e80
to 857071d
#79
Job | Run time | Billable time |
---|---|---|
5m 50s | 0s | |
1s | 0s | |
5m 51s | 0s |