Commit efab763885d73376018dab07a7c4006ecdf4a6ac

Khaled Hosny 2022-07-23T20:26:56

[ci] Fix docs deployment Trigger build on tag pushes, and simplify the condition for calling .ci/deploy-docs.sh.