Skip to content

Minor tweaks to CI, most importantly installing a prebuilt cargo-careful.#397

Merged
adamreichold merged 1 commit intomainfrom install-action-cargo-carefulOct 16, 2023