Update CI config

[XhmikosR]

• run lint once
• rename action to CI

TODO:

• Land CI: restrict pushes event and add workflow_dispatch #4306 first
• Adapt/revisit branch protection rules before the merge /CC @Trott

[XhmikosR]

Another solution would be to move the lint workflow to its own workflow file. It should allow to trigger the job independently since GitHub doesn't allow this (at least not yet).

[XhmikosR]

This should speed things up a lot (except for Windows which is still slow).

@Trott or anyone else who can configure the branch protection rules, can you update them please and proceed with the PR?

[Trott]

@Trott or anyone else who can configure the branch protection rules, can you update them please and proceed with the PR?

I'm sorry as I'm no doubt missing something obvious, but what about the branch protection rules needs to change?

[XhmikosR]

There's a new "Lint" job introduced in this PR, I thought you might wanted to add this in the required statuses too.

[Trott]

There's a new "Lint" job introduced in this PR, I thought you might wanted to add this in the required statuses too.

Ah, got it. Done.