use make lint in the github actions

[SchSeba]

No description provided.

[SchSeba]

Hi @adrianchiris @Eoghan1232 please take a look

[Eoghan1232]

should we do this in other projects as well?
i.e. DP, etc.

[SchSeba]

I think we should if that is not the case already

[SchSeba]

2 maintainers approve it merging

[coveralls]

Pull Request Test Coverage Report for Build 5046482581

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

• For more information on this, see Tracking coverage changes with pull request builds.
• To avoid this issue with future PRs, see these Recommended CI Configurations.
• For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 38.156%

---

Totals
Change from base Build 5046210803:	0.0%
Covered Lines:	422
Relevant Lines:	1106

---

💛 - Coveralls

[coveralls]

Pull Request Test Coverage Report for Build 5046435823

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

• For more information on this, see Tracking coverage changes with pull request builds.
• To avoid this issue with future PRs, see these Recommended CI Configurations.
• For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 38.156%

---

Totals
Change from base Build 5046210803:	0.0%
Covered Lines:	422
Relevant Lines:	1106

---

💛 - Coveralls