Closed xylar closed 1 year ago
This merge changes the GitHub Action for building and pushing the docs to only copy release tags if they aren't already on the web page. This way, we can retroactively modify old releases if we need to without them getting clobbered.
This merge changes the GitHub Action for building and pushing the docs to only copy release tags if they aren't already on the web page. This way, we can retroactively modify old releases if we need to without them getting clobbered.