feat: GitHub CI concurrency

[Kryptos-FR]

PR Details

Automatically cancels running workflow if a more recent push or merge happened.

This should save some actions minutes by preventing to build for commits that are no longer relevant.

See https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs

Types of changes

• Docs change / refactoring / dependency upgrade
• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to change)

Checklist

• My change requires a change to the documentation.
• I have added tests to cover my changes.
• All new and existing tests passed.
• I have built and run the editor to try this change out.

[VaclavElias]

That's clever. I didn't know such feature is available.