Conversation
302b1df to
e1fdd8b
Compare
1abd170 to
3893d6d
Compare
|
@stv0g Would you be ok with the |
Yes please 🙏🏻 I would favor velocity in this case, instead of beeing blocked by Nixpkgs maintainers. |
|
I am curious: Why are you adding |
I prefer to use |
|
@stv0g I consider this PR ready. Could you do another review? I think the failing pkg:docker: [debian, linux/arm64/v8, arm64, aarch64-linux-gnu, pi5] pipeline is not caused by this PR but rather by some broken cached state in the debian image on the Pi5. |
stv0g
left a comment
There was a problem hiding this comment.
Looks, good. Only some minor comments..
d543336 to
241f4a7
Compare
@windrad6 just managed to fix it. The Pi 5 was out of storage and "Invalid GPG key" is surely an interesting way to communicate that. The problem was the lack of garbage collection of the Docker build cache. We've now pruned the cache and set up automatic garbage collection to prevent this in the future. |
Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>
Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>
Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>
Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>
Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>
Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>
Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>
TODO