Merge pull request #4005 from JuliaReach/schillic/doc

Trigger docs building for new tags

Author: schillic

.github/workflows/documentation.yml

@@ -7,6 +7,7 @@ on:
       - 'README.md'
     branches:
       - master
+    tags: '*'
   pull_request:
     paths-ignore:
       - 'LICENSE'