Closed grische closed 8 months ago
The dedup workflow was disabled as there was no activity in this repo for a long time. Adding a manual PR until dedup runs again.
@grische funny enough it ran 5 hours later and now we have 2 updates, thanks!
@javierjulio yeah, I re-enabled the CI. Was just waiting for a review before merging.
The dedup workflow was disabled as there was no activity in this repo for a long time. Adding a manual PR until dedup runs again.