@samth: Typed Racket has https://github.com/sorawee/typed-racket/tree/master/.github/workflows already. Is there any reason to keep https://github.com/sorawee/typed-racket/blob/master/.travis.yml around?
Probably not, unless it runs something we’re not running on GHA
I am stuck
It shows an error: “pkd->collections: package not found” “package: compatibility”.
But I use the very same setup as https://travis-ci.com/github/racket/compatibility/builds/196873455#L372
which runs fine
It looks like the compatibility pkg doesn’t exist? And it gets tested but not installed
In that travis config
With https://github.com/racket/compatibility/pull/9/files and https://github.com/racket/rackunit/pull/128, everything is covered
(Doesn’t count Typed Racket which has GHA already)