Stable documentation is updated with pre-releases

[omus]

At the moment we use tags to trigger the "Documenter" workflow which ends up deploying our "stable" documentation. As this repo will create tags for pre-releases this is problematic as we may replace our stable documentation well before we intend to make an official Julia registry release.

We can most likely address this by updating the "Documenter" workflow to not build based upon tags but rather use the "release" event which would allow us to only trigger on non-pre-releases. We would need to verify that works with deploydocs(; versions) but I suspect it would.

This discussion provides some good instructions on pre-release events: https://github.com/orgs/community/discussions/26281#discussioncomment-3251177

[ericphanson]

Versions is only for the nav drop-down, not the trigger. There’s tag_prefix to customize tag triggers but that’s still for a tag.

[glennmoy]

github has a released type event that should allow us to trigger this https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#release