search

exercism / idris

Exercism exercises in Idris.
https://exercism.org/tracks/idris
MIT License
32 stars 18 forks source link

Move from Travis to GitHub Actions #126

Open ErikSchierboom opened 9 months ago

ErikSchierboom commented 9 months ago

This repo is currently using Travis, but we have standardized on GitHub actions. This is an example workflow to build from: https://github.com/exercism/generic-track/blob/main/.github/workflows/test.yml

ErikSchierboom commented 3 months ago

@keiravillekode Just in case you needed something more to work on, this issue would be great to fix :)

keiravillekode commented 3 months ago

The .travis.yml file dates back to when Idris 1 was being used. (Idris 1 was implemented in Haskell, Idris 2 is not.)

We can remove the file as Continuous Integration will need to be implemented again with Idris 2.

For reference, here is the essence of the .travis.yml file:

install:
  - bin/fetch-configlet
  - ...
  - bin/fetch-idris-testing.sh
  - idris --version

script:
  - bin/configlet lint .
  - bin/solve_exercises.sh
ErikSchierboom commented 3 months ago

👍 Basically, the "only" thing you'll need to do is to create a .github/workflows/test.yml workflow that calls the appropriate commands (configlet linting can be omitted, as the configlet.yml workflow takes care of it).