Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge GitHub Action fixes into the master-branch (#378)
* Equalize branches * Revert "Equalize branches " This reverts commit 0c92e9b. * Revert "Merge branch 'master' into develop" This reverts commit 322ba3b. * Fix CI Co-authored-by: Julia Joch<julia.joch@student.hpi.de> Co-authored-by: Veladus <niko.hastrich@student.hpi.de> Co-authored-by: MrHenrik <henrik.guhl@student.hpi.de>
- Loading branch information