use pack DB HEAD in CI - Githubissues

joelberkeley / spidr

Accelerated machine learning with dependent types

Apache License 2.0

72 stars 4 forks source link

use pack DB HEAD in CI #382

Closed joelberkeley closed 7 months ago