CI should be triggered when e.g. the `GHA buildhtml` label is applied without the need of pushing a dummy commit
CI should be triggered when e.g. the
GHA buildhtmllabel is applied without the need of pushing a dummy commit