use engage for ci

This commit is contained in:
Charles Hall 2023-12-20 16:33:31 -08:00
parent 1ef7b6d24b
commit fd7625d121
No known key found for this signature in database
GPG key ID: 7B8E0645816E07CF
2 changed files with 77 additions and 1 deletions

View file

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