sgrossberndt
commented
1 year ago GitHub is currently having performance issues which lead to the failing jobs for the upload of the documentation tables: https://www.githubstatus.com/incidents/n18j5g7wpg0s
https://github.com/VDVde/OJP/pull/281 was reverted, do it properly in this one