search

gap-packages / guava

GAP package guava - computations relative to error-correcting codes
https://gap-packages.github.io/guava
Other
13 stars 7 forks source link

Switch CI to use GitHub Actions #56

Closed fingolfin closed 3 years ago

fingolfin commented 3 years ago

This is necessary as Travis CI started to require payment for its services

See https://github.com/fingolfin/guava/actions for CI results of this PR (once it is merged, those will be run on this repository; but for security reasons, for unmerged PRs the CI tests are run on the repo of the submitter of the PR).