Closed olleolleolle closed 10 months ago
This PR removes an unused file related to an earlier CI solution.
The CI now connected is CircleCI.
Thank you!
This PR removes an unused file related to an earlier CI solution.
The CI now connected is CircleCI.