GitHub actions vs CircleCI poll

[dimitarvp]

And because of a generous free tier? But maybe CircleCI has that too, I don’t know.