Do not run configure by default (#458)
See #457 * Do not run configure by default * Enable automated configure on CI * Update docs
Showing
See #457 * Do not run configure by default * Enable automated configure on CI * Update docs
mentioned in commit c1fcd9b3
·mentioned in commit c1fcd9b3