search

paulfitz / cosmicos

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

Upgrade TravisCI #35

Closed alanfwilliams closed 2 years ago

alanfwilliams commented 2 years ago

The old TravisCI actions are outdated and preventing pull requests from being analyzed (notably #33). Adding github checks per this post should fix it.

paulfitz commented 2 years ago

Switched to github actions.