search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
363 stars 68 forks source link

move to github-actions #284

Closed JacquesCarette closed 3 years ago

JacquesCarette commented 3 years ago

We've run out of tokens on the free CI. We need to move to github-actions. I can do the actual work, but I'd appreciate getting some pointers (was it @gallais who did it for agda-stdlib?)

For example is this a good set of instructions?

gallais commented 3 years ago

Started an experiment here: https://github.com/gallais/agda-categories/pull/2

JacquesCarette commented 3 years ago

NB: I removed the .travis.yml, as it is no longer used.