Modules missing from ipkg are not caught by CI - Githubissues

joelberkeley / spidr

Accelerated machine learning with dependent types

Apache License 2.0

73 stars 4 forks source link

Modules missing from ipkg are not caught by CI #363

Open joelberkeley opened 1 year ago