Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We can do that, just scrolling through it should be OK.

If you are 100% sure this works, please merge. (We can always roll back anyway)

3. In August 2022 GitHub had solved this problem but we missed this news.

I heard about that a couple of times actually when I was looking into some GitHub actions things but didn't look into it because things worked for us anyway.

Do you think now that GitHub allows us to call re-usable workflows in more depth that this somehow helps us to set up scheduled builds for the 3.0.x branch (started by the main branch actually).