search

hathitrust / hathifiles

Generation of Hathfiles
0 stars 0 forks source link

Use pushgateway for reporting progress/success on hathifiles #30

Closed aelkiss closed 1 year ago

aelkiss commented 1 year ago

This needs https://github.com/hathitrust/push_metrics/pull/2 merged before taking this out of draft (and using the main branch again for pushmetrics).

coveralls commented 1 year ago

Coverage Status

Coverage: 96.552% (+0.1%) from 96.429% when pulling aa61bbd61467126e1db10ab6ac11a53d73831eeb on DEV-586-pushgateway into 15a87a258770902652f53d885249067e85c81882 on main.

aelkiss commented 1 year ago

I am going to go ahead and squash & merge.