- Apr 19, 2023
-
-
Mathis Kelm authored
-
- Jun 01, 2021
-
-
Timo Koch authored
-
Timo Koch authored
-
Timo Koch authored
-
Timo Koch authored
-
Dennis Gläser authored
-
Dennis Gläser authored
the CI enters the repo in a detached HEAD state, and thus, the query if a pipeline was run on the same branch failed. We now check the last commits.
-
- May 31, 2021
-
-
Dennis Gläser authored
-
Dennis Gläser authored
-