move ci job scipts into an actual script

This will make it possible/easier to:

* share code between jobs
* run jobs locally
This commit is contained in:
Charles Hall 2024-12-01 16:23:26 -08:00
parent d4ffa78979
commit 540cc89c83
No known key found for this signature in database
GPG key ID: 7B8E0645816E07CF
3 changed files with 57 additions and 6 deletions

View file

@ -8,6 +8,7 @@
, markdownlint-cli
, mdbook
, mkShell
, ripgrep
, stdenv
, toolchain
}:
@ -35,6 +36,7 @@ mkShell {
lychee
markdownlint-cli
mdbook
ripgrep
toolchain
]
++