Matthias Mair e5e1a09b45
CI cleanup (#4744)
* merge doc checks into main QC checks

* rename

* well both APIs are closed now so this would be useless

* make header more concise

* add check if server code changed - make run conditional

* reformat
2023-05-02 07:58:57 +10:00
..
2023-05-02 07:58:57 +10:00
2022-02-17 08:15:24 +11:00