Trim down options in make.py (#2629) #4698
einarf
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test.yml
on: push
Matrix: Code inspections
Matrix: Documentation build test