Improve CI

This commit is contained in:
Michal Sojka 2024-09-16 14:01:27 +02:00
parent 3b52a81623
commit 245c8972a1
3 changed files with 8 additions and 4 deletions

View file

@ -94,11 +94,15 @@
packages = {
default = ros2nix;
inherit rosdistro rosdep-cache rosdep ros2nix;
inherit (pkgs) mdsh;
};
checks = {
mdsh = pkgs.runCommandNoCC "mdsh" {
nativeBuildInputs = [ ros2nix ];
} "cd ${self}; ${pkgs.mdsh}/bin/mdsh --frozen";
mdsh-check-readme = pkgs.runCommandNoCC "mdsh"
{ nativeBuildInputs = [ ros2nix ]; } ''
mkdir $out; cd ${self};
if ! ${pkgs.mdsh}/bin/mdsh --frozen; then
echo 'Update README with `nix run .#mdsh`.'
fi'';
};
}
);