Added github actions build script as part of the effort to migrate away from circleci#172
Open
slicedbread wants to merge 1 commit into
Open
Added github actions build script as part of the effort to migrate away from circleci#172slicedbread wants to merge 1 commit into
slicedbread wants to merge 1 commit into