Closed pascalberger closed 6 months ago
Remove configuration for Travis build, which is no longer running, and add build badge for GitHub actions instead to the README.
Remove configuration for Travis build, which is no longer running, and add build badge for GitHub actions instead to the README.