From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2020-02-29 19:32:44
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?
-- Mateusz Loskot, http://mateusz.loskot.net
Geometry list run by mateusz at loskot.net