skip hook prompt for doc build - Githubissues

joelberkeley / spidr

Accelerated machine learning with dependent types

Apache License 2.0

73 stars 4 forks source link

skip hook prompt for doc build #358

Closed joelberkeley closed 1 year ago