2 Commits (083f7a0a8db5e330b9cf36b2650b6a4647b13a26)

Author SHA1 Message Date
Eneko Illarramendi 8442f277c4 tests: only use github for CI 5 years ago
Sebastian Geisler 19fa6c2bf9 Add type checking CI 5 years ago