Skip to content

Shut down any build servers after we're done.#13

Merged
rolfbjarne merged 1 commit intomainfrom issue-12-shutdown-build-serversMar 6, 2024

Commits

Commits on Mar 1, 2024