Closed chenrui333 closed 1 year ago
Found there is no CI for this repo, filing a separate PR on it cc @nickmerwin
is anyone at coveralls home? this is ancient and now we do get deprecation warnings in GH actions
@nickmerwin friendly ping!
Hello guys, who else has permission to merge PRs on this repository besides @nickmerwin?
cc: @chenrui333, @rburgst
perhaps @anjin would?
We'll take a look, thanks for the PR!
@anjin cc @nickmerwin
We'll take a look, thanks for the PR!
Can you give us a status update on this on? How are things progressing?
Hey! For the latest v1
and master
the github action now uses node16
. So, I think I can close this PR.