- Apr 17, 2022
-
-
Kevin Daudt authored
This is now done directly by the lint script
-
Kevin Daudt authored
Due to recent changes in git, the owner of the repository files matter. In CI, the repository is cloned by root, while the CI jobs run as a non-root user. This causes git to fail with an error message. This was already fixed in the ci build script, but the `before_script` is run before that, and now starts to fail because the updated git version is part of the image itself. Because we fetch the commits in the build script anyway, lets just remove the before_script.
-
alice authored
-
Michał Polański authored
-
Michał Polański authored
-
Michał Polański authored
-
-
alice authored
cmake is not happy about missing statics when built with them and fails to configure anything
-
alice authored
-
-
alice authored
-
alice authored
-
alice authored
-
alice authored
-
alice authored
-
alice authored
-
alice authored
-
alice authored
-
alice authored
-
alice authored
-
Milan P. Stanić authored
-
alice authored
-
alice authored
-
alice authored
-
-
alice authored
-
alice authored
-
alice authored
old one is ambiguous
-
alice authored
-
alice authored
-
this is what other distros do and it is generally assumed that it will be done (e.g. cog assumes it)
-
-
-