Geometry Boost List: [geometry] No CircleCI builds for pull requests?

From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2020-02-29 19:32:44

Hi,

Is there a reason why the CircleCI builds don't build PRs?

I might have forgotten some earlier discussion, but I'm not
clear if it's intentional.

If it is intentional, can I set up Azure Pipelines or GitHub Actions
to get PRs checked?

Best regards,
-- 
Mateusz Loskot, http://mateusz.loskot.net