Github workflows to create a nightly release automatically and a stable release semi-automatic (a 2-step process).