search

clash-lang / ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints
Other
14 stars 10 forks source link

Move CI to GHA #38

Closed christiaanb closed 3 years ago

leonschoorl commented 3 years ago

@christiaanb I see it building the tests, but not running them. Am I missing something, or is that intentional?

christiaanb commented 3 years ago

Good catch @leonschoorl I created the GHA config for a package without tests (ghc-tcplugins-extra), and just blindly copied it.

christiaanb commented 3 years ago

@leonschoorl fixed in https://github.com/clash-lang/ghc-typelits-knownnat/pull/39