search

paulfitz / cosmicos

Sending the lambda calculus into deep space
https://cosmicos.github.io/
GNU General Public License v2.0
135 stars 8 forks source link

switch from travis to github actions #37

Closed paulfitz closed 2 years ago

paulfitz commented 2 years ago

Translates the travis.yml file to github actions. Carefully ignoring all the other modernization that is needed :)

paulfitz commented 2 years ago

Hard to test full without merging - apologies for noise if I have to make a series of fixes...