use engage for ci

This commit is contained in:
Charles Hall 2023-12-20 16:33:31 -08:00 committed by strawberry
parent 311c7d83ca
commit 6910a68699
2 changed files with 77 additions and 1 deletions

View file

@ -112,7 +112,9 @@
# Development tools
nativeBuildInputs = nativeBuildInputs ++ [
devToolchain
];
] ++ (with pkgs; [
engage
]);
};
});
}