Closed james-pre closed 8 months ago
@emeryberger I do not have access to the repository settings. Could you please remove AppVeyor from CI? I've added a new CI system using GitHub actions.
Tagging @jvilk (I also do not have access).
@emeryberger I do not have access to the repository settings. Could you please remove AppVeyor from CI? I've added a new CI system using GitHub actions.