Don't use the 'build' GitHub env for CI builds.#111

Merged

smarnach merged 1 commit intomainfrom no-build-env

Dec 12, 2023

+1-2

Commits on Dec 12, 2023

Don't use the 'build' GitHub env for CI builds.
smarnach
committed