2 Commits (3a1167c8927710215219d3b2c7b72a0a7ecbb1a5)

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