Closed fmichonneau closed 3 years ago
now that we have good GitHub Actions and that Travis CI does easily support open-source projects, the travis files can be removed.
now that we have good GitHub Actions and that Travis CI does easily support open-source projects, the travis files can be removed.