Closed padix-key closed 1 month ago
This PR merges the docs and main CI and moves the git tagging into a separate job to reduce code duplication. This should also fix #73
docs
main
I found a less invasive fix in #79
This PR merges the
docs
andmain
CI and moves the git tagging into a separate job to reduce code duplication. This should also fix #73