If another commit is pushed to the same branch, running CI should be cancelled

See [this](https://stackoverflow.com/a/67939898/3124150). Code:
```
concurrency: 
  group: ${{ github.head_ref }}
  cancel-in-progress: true
```