Fix potential github action smells

[ceddy4395]

Hey! 🙂
I've made the following changes to the workflow:

• Avoid installing packages without version
  • When installing a package without a version, the latest version will always be installed, even when braking changes have been released. To avoid this causing failing pipelines a version should be specified which is known to be compatible with the code base.
• Define permissions for workflows with external actions
  • Permissions should be used when running actions written by other developers because there may be security leaks exposed through these actions.
• Avoid running CI related actions when no source code has changed
  • Running workflows which build or test certain parts of the code base without these parts being changed is useless as nothing new will be checked or created.
• Stop running workflows when there is a newer commit in PR
  • When a new commit is added to a PR, it is not needed any more to test the old version of the PR because this does not tell us anything about the current state of the PR. Therefore, for efficiency, we can cancel it and only test the latest version.

(These changes are part of a research Study at TU Delft looking at GitHub Action Smells. Find out more)

[ATheorell]

This is an appreciated contribution!
Note that you have to remove a trailing white space to pass the last check.
Please answer the specific question.

[ATheorell]

It would be nice if you explained why this change is needed.

[ceddy4395]

The idea is to keep the pipeline as consistent as possible between runs, and to make sure it is the developer's conscious decision to use the next version during the workflow.

[ATheorell]

I agree on consistency, I was curious whether there was a reason for this specific version.

[ceddy4395]

Ah oke, this is just the current version, that's why.

[ceddy4395]

@ATheorell Thank you for the feedback. I've removed the trailing white spaces and replied to your comments.

[ATheorell]

Thanks for the explanation! pre-commit doesn't seem to agree about the trailing whitespace.

[ceddy4395]

Ah yes I see I forgot one by accident! This is now fixed as well :)