Added a manual trigger to the docs build/deploy workflow.
I don't think we really need this since the api docs build automatically if a new tag is created, but for rare cases (like currently) where you want to force docs deployment without waiting for a new tag.
Also, it allows to manually specify the haxe version to use, which i've shamelessly set to the actual version (v4.2.3) as defaultt, in hope we see an update soon (v4.1.3 was released a year ago).
Added a manual trigger to the docs build/deploy workflow. I don't think we really need this since the api docs build automatically if a new tag is created, but for rare cases (like currently) where you want to force docs deployment without waiting for a new tag.
The trigger button will show up when merged into master (https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/).
Also, it allows to manually specify the haxe version to use, which i've shamelessly set to the actual version (v4.2.3) as defaultt, in hope we see an update soon (v4.1.3 was released a year ago).