Skip to content

Parallelize make test. #81 Add make test test_args= filter.#82

Merged
bvdmitri merged 1 commit into
mainfrom
81-select-test-files-using-make-test-test_args
Nov 7, 2025
Merged

Parallelize make test. #81 Add make test test_args= filter.#82
bvdmitri merged 1 commit into
mainfrom
81-select-test-files-using-make-test-test_args

Commits

Commits on Nov 7, 2025