travis-ci.org is dead
squeek502 opened this issue · 0 comments
squeek502 commented
We'll probably want to migrate our travis stuff to Github Actions rather than travis-ci.com
Forgot to post an issue for Luvit, too (see also luvit/luv#550, luvit/luvi#249)
EDIT: Basic Github Actions workflow added, see #1146
Differences to the travis-ci.org CI:
- No gdb backtraces
- No coveralls support
These can be added back in later