mdBook/ci
Eric Huss 958b456873
Also make sure releases use --locked
If it somehow gets out of sync, then the release process otherwise wouldn't catch it.
2023-02-13 07:53:32 -08:00
..
install-hub.sh Update deprecated GitHub Actions commands. 2020-10-08 10:00:06 -07:00
install-rust.sh Deploy {x86_64,aarch64}-unknown-linux-musl binary 2022-07-23 00:37:18 +09:00
make-release.sh Also make sure releases use --locked 2023-02-13 07:53:32 -08:00