An attempt to fix the failing builds

[javagl]

May fix #27 , details described there.

[javagl]

Giving up here for now. Why should I even care?

[javagl]

Could someone with the appropriate rigths (@DRx3D ?) have a look at

• the "Settings" section of the repo (a tab in the upper right of the toolbar)
• the "Actions -> General" section (of the menu at the right)
• the "Workflow permissions" section (at the bottom)

to see whether "Read and write permissions" is checked?

[javagl]

GitHub actions cannot be used to modify PRs in the way that is required here. We will have to do this manually in the future.

Go on, prove me wrong 😎