v0.14.0

Feature

• Hopefully fixing semantic release so feat can deploy (de8282c)
• Multithreading (#6) (8370747)

Fix

• Try more things to fix tagging (6e8b931)
• Try using v2 for the checkout action to fix tagging (42f31f9)

v0.13.8

Fix

• Improving consistency on identical runs (#5) (5a23ca5)

v0.13.7

Fix

• Trying a different method to skip buiding the release commit (44c2523)

v0.13.6

Fix

• Fixing deploy and stopping infinite run loop (1e63a10)

v0.13.5

Fix

• Trying using the PAT for checkout too to see if the workflow will run... (b84b6c7)

v0.13.4

Fix

• Bump for deploy (22c2582)

v0.13.3

Fix

• Bump for deploy (65839da)

v0.13.2

Fix

• Try creating an empty dist/ during semantic release (8e79326)

v0.13.1

Fix

• Tweak job syntax to run on all tags (36089b1)

v0.12.0

Feature

• Adding options to skip finding best proof, and abort early (ed23460)