New GitHub feature: Actions

According to GitHub Workflow documentation:

Creating workflows that use GitHub Actions is limited to private repositories and push events in public repositories during the limited public beta.

Our bots relies on many other events, not just push events. I don’t think we’ll be replacing our bots with Actions yet.

@Mariatta FTR a few days ago I noticed that I can select all other types of events in the UI of Workflow creation in public repos. So it should be good to go now…