On Sun, 1 Mar 2020 at 20:07, Adam Wulkiewicz via Geometry
<geometry@lists.boost.org> wrote:
> W dniu 29.02.2020 o 20:32, Mateusz Loskot via Geometry pisze:
Over this week/weekend, I will set up another CI service, and depending on
how it performs we decide what parts of builds are practical to run.
We need some minimum checks for PRs to catch major issues, to avoid
spending time on PR review which does not pass basic tests, etc.
As first step, I configured GitHub Actions workflow to build all examples and documentation, whenever a PR touches any documentation-related files or a merge into master or develop happened