No immediate build using github action after source repo changed

[rattermeyer]

Describe the issue
We have a travis cron job that should run at least once a day (currently every 4 hours) to fetch, build and publish updated documentation.
Although documentation has been updated on the different repos, it re-publishes only the documentation already public.
Only if you push a change to the ods-documentation repository, the new version of the other repositories is correctly published.

Describe the expected behaviour
Whenever documentation has been updated in any of the repositories, the cron job should pick the changes up and correctly publish the changes.

[michaelsauter]

I think this can be closed? Seems to work.

[tbugfinder]

although the build was moved the github actions the intention could, that a push to e.g. ods-core (master and release branches) triggers a build in ods-documentation.